By Baader F.   in Annals of Mathematics and Artificial Intelligence

ISSN:1012-2443|18|2-4|175-219

Springer Publishing Company ‎(1997)‎

Access to resources Favorite 14.731166

By Baader F.   Sattler U.   in Information Systems

ISSN:0306-4379|28|8|979-1004

Elsevier‎(2003)‎

Access to resources Favorite 11.450341

By Baader F.   Narendran P.   in Journal of Symbolic Computation

ISSN:0747-7171|31|3|277-305

Academic Press‎(2001)‎

Access to resources Favorite 11.450341

By Baader F.   Sattler U.   in Studia Logica

ISSN:0039-3215|69|1|5-40

Springer Publishing Company ‎(2001)‎

Access to resources Favorite 11.450341

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

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

Elsevier‎(1998)‎

Access to resources Favorite 10.646407

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 10.646407

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

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

Elsevier‎(1995)‎

Access to resources Favorite 10.646407