By Kupferman O.   Vardi M.Y.   Wolper P.   in Information and Computation

ISSN:0890-5401|164|2|322-344

Academic Press‎(2001)‎

Access to resources Favorite 9.601021

By Peled D.   Wilke T.   Wolper P.   in Theoretical Computer Science

ISSN:0304-3975|195|2|183-203

Elsevier‎(1998)‎

Access to resources Favorite 9.601021