By Dershowitz N.   Lindenstrauss N.   Sagiv Y.   Serebrenik A.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|30|1|1-20

Elsevier‎(2004)‎

Access to resources Favorite 7.61237

By Serebrenik Alexander   Schreye Danny   in Journal of Automated Reasoning

ISSN:0168-7433|34|2|141-177

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 2.4521124