By Cantone Domenico   Nicolosi-Asmundo Marianna   in Journal of Automated Reasoning

ISSN:0168-7433|38|1-3|31-56

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 13.063593

By Zarba Calogero   Cantone Domenico   Schwartz Jacob   in Journal of Automated Reasoning

ISSN:0168-7433|33|3-4|251-269

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 12.059074

By Cantone Domenico   Zarba Calogero   Cannata Rosa   in Journal of Automated Reasoning

ISSN:0168-7433|34|1|49-72

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 12.059074

By Cantone Domenico   Formisano Andrea   Asmundo Marianna Nicolosi   Omodeo Eugenio Giovanni   in RAIRO - Theoretical Informatics and Applications

ISSN:0988-3754|46|2|261-289

Edp Sciences‎(2012)‎

Access to resources Favorite 10.049229