By Ireland Andrew   Ellis Bill   Cook Andrew   Chapman Roderick   Barnes Janet   in Journal of Automated Reasoning

ISSN:0168-7433|36|4|379-410

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 7.852352