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 10.528231

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 10.068486

By Dezani-Ciancaglini M.   Severi P.   de Vries F-J.   in Theoretical Computer Science

ISSN:0304-3975|298|2|275-302

Elsevier‎(2003)‎

Access to resources Favorite 4.2814226