By Bezem M.   Klop J.W.   van Oostrom V.   in Information and Computation

ISSN:0890-5401|141|2|172-204

Academic Press‎(1998)‎

Access to resources Favorite 11.304396

By Kennaway R.   Klop J.W.   Sleep R.   de Vries F.J.   in Journal of Symbolic Computation

ISSN:0747-7171|21|1|15-39

Academic Press‎(1996)‎

Access to resources Favorite 9.692241

By Kennaway J.R.   Klop J.W.   Sleep M.R.   de Vries F.J.   in Theoretical Computer Science

ISSN:0304-3975|175|1|93-125

Elsevier‎(1997)‎

Access to resources Favorite 9.286789