By Baader F.   Schulz K.U.   in Theoretical Computer Science

ISSN:0304-3975|192|1|107-161

Elsevier‎(1998)‎

Access to resources Favorite 15.981667

By Baader F.   Schulz K.U.   in Journal of Symbolic Computation

ISSN:0747-7171|21|2|211-243

Academic Press‎(1996)‎

Access to resources Favorite 15.981667

By Baader F.   Schulz K.U.   in Theoretical Computer Science

ISSN:0304-3975|142|2|229-255

Elsevier‎(1995)‎

Access to resources Favorite 15.981667

By Schulz K.U.   Kepser S.   in Theoretical Computer Science

ISSN:0304-3975|266|1|113-157

Elsevier‎(2001)‎

Access to resources Favorite 15.981667

By Schmidt-Schauß M.   Schulz K.U.   in Journal of Symbolic Computation

ISSN:0747-7171|33|1|77-122

Academic Press‎(2002)‎

Access to resources Favorite 13.587328