By Beeson Michael   in Journal of Automated Reasoning

ISSN:0168-7433|36|4|311-344

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 16.155567

By Beeson Michael   Veroff Robert   Wos Larry   in Studia Logica

ISSN:0039-3215|80|2-3|195-234

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 9.69334