By Andrews Peter B.   Brown Chad E.   Pfenning Frank   Bishop Matthew   Issar Sunil   Xi Hongwei   in Journal of Automated Reasoning

ISSN:0168-7433|32|1|75-92

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 6.5586944