Abdessamad Imine Yahya Slimani Sorin Stratulat Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. 71- 2002 conf/jfplc/2002 JFPLC db/conf/jfplc/jfplc2002.html#ImineSS02