Dominique Pastre Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC. 147-160 2002 15 AI Commun. 2-3 http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=15&issue=2&spage=147 db/journals/aicom/aicom15.html#Pastre02