By Echenim Mnacho   in Journal of Automated Reasoning

ISSN:0168-7433|48|3|293-362

Springer Publishing Company ‎(2012)‎

Access to resources Favorite 27.9821

By Boy de la Tour Thierry   Echenim Mnacho   in Journal of Automated Reasoning

ISSN:0168-7433|33|3-4|271-317

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 16.789259