By Kapur Deepak   Vigneron Laurent   in Journal of Automated Reasoning

ISSN:0168-7433|33|3-4|219-220

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 15.029776

By Bachmair Leo   Tiwari Ashish   Vigneron Laurent   in Journal of Automated Reasoning

ISSN:0168-7433|31|2|129-168

Springer Publishing Company ‎(2003)‎

Access to resources Favorite 11.272332