By Barrett Clark   Moura Leonardo   Stump Aaron   in Journal of Automated Reasoning

ISSN:0168-7433|35|4|373-390

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 11.304293

By Appel Andrew   Michael Neophytos   Stump Aaron   Virga Roberto   in Journal of Automated Reasoning

ISSN:0168-7433|31|3-4|231-260

Springer Publishing Company ‎(2003)‎

Access to resources Favorite 9.420244