By Benhamou Belaïd   in Journal of Automated Reasoning

ISSN:0168-7433|48|3|391-417

Springer Publishing Company ‎(2012)‎

Access to resources Favorite 21.795609

By Audemard Gilles   Benhamou Belaïd   Henocque Laurent   in Journal of Automated Reasoning

ISSN:0168-7433|36|3|177-212

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 14.600336

By Boughaci Dalila   Benhamou Belaïd   Drias Habiba   in Soft Computing

ISSN:1432-7643|13|8-9|905-917

Springer Publishing Company ‎(2009)‎

Access to resources Favorite 14.600336