By Dershowitz N.   in Annals of Mathematics and Artificial Intelligence

ISSN:1012-2443|28|1-4|3-5

Springer Publishing Company ‎(2000)‎

Access to resources Favorite 15.723055

By Dershowitz N.   Hoot C.   in Theoretical Computer Science

ISSN:0304-3975|142|2|179-207

Elsevier‎(1995)‎

Access to resources Favorite 12.22237

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 8.721685