By Egly U.   in Journal of Symbolic Computation

ISSN:0747-7171|22|2|121-142

Academic Press‎(1996)‎

Access to resources Favorite 16.272026

By Egly U.   in Theoretical Computer Science

ISSN:0304-3975|198|1|201-209

Elsevier‎(1998)‎

Access to resources Favorite 16.272026

By Egly U.   in Studia Logica

ISSN:0039-3215|69|2|249-277

Springer Publishing Company ‎(2001)‎

Access to resources Favorite 16.272026

By Egly U.   Tompits H.   in Studia Logica

ISSN:0039-3215|73|1|131-152

Springer Publishing Company ‎(2003)‎

Access to resources Favorite 12.650272