By Paulson Lawrence   in Journal of Automated Reasoning

ISSN:0168-7433|33|1|29-49

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 17.084011

By Beckert Bernhard   Paulson Lawrence   in Journal of Automated Reasoning

ISSN:0168-7433|38|1-3|1-2

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 13.667208

By Bella Giampaolo   Massacci Fabio   Paulson Lawrence   in Journal of Automated Reasoning

ISSN:0168-7433|36|1-2|5-37

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 10.250406