By Aiguier Marc   Bahrami Diane   in Journal of Automated Reasoning

ISSN:0168-7433|38|4|303-351

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 15.996458

By Longuet Delphine   Aiguier Marc   Le Gall Pascale   in Journal of Automated Reasoning

ISSN:0168-7433|45|4|437-473

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 11.997343