By Kullmann Oliver   in Annals of Mathematics and Artificial Intelligence

ISSN:1012-2443|40|3-4|303-352

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 18.80991

By Gwynne Matthew   Kullmann Oliver   in Journal of Automated Reasoning

ISSN:0168-7433|52|1|31-65

Springer Publishing Company ‎(2014)‎

Access to resources Favorite 15.047929