By Zantema H.   in Journal of Automated Reasoning

ISSN:0168-7433|34|2|105-139

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 15.718705

By Middeldorp A.   Zantema H.   in Theoretical Computer Science

ISSN:0304-3975|175|1|127-158

Elsevier‎(1997)‎

Access to resources Favorite 13.111059

By Fokkink W.   Zantema H.   in Theoretical Computer Science

ISSN:0304-3975|177|2|407-423

Elsevier‎(1997)‎

Access to resources Favorite 12.217567