By Middeldorp A.   Okui S.   in Journal of Symbolic Computation

ISSN:0747-7171|25|6|733-757

Academic Press‎(1998)‎

Access to resources Favorite 11.74469

By Middeldorp A.   Okui S.   Ida T.   in Theoretical Computer Science

ISSN:0304-3975|167|1|95-130

Elsevier‎(1996)‎

Access to resources Favorite 9.375904