By van der Meyden R.   in Journal of Computer and System Sciences

ISSN:0022-0000|54|1|113-135

Academic Press‎(1997)‎

Access to resources Favorite 22.41539

By van der Meyden R.   Wong K-s.   in Studia Logica

ISSN:0039-3215|75|1|93-123

Springer Publishing Company ‎(2003)‎

Access to resources Favorite 16.43433