Author:
Lutz Carsten,Sattler Uli,Tinelli Cesare,Turhan Anni-Yasmin,Wolter Frank
Publisher
Springer International Publishing
Reference53 articles.
1. Lecture Notes in Computer Science;F Baader,1989
2. Baader, F.: Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles. In: Proceedings of IJCAI (1991)
3. Lecture Notes in Computer Science;F Baader,1991
4. Baader, F.: Unification in commutative theories, Hilbert’s basis theorem and Gröbner bases. J. ACM 40(3), 477–503 (1993)
5. Baader, F.: Combination of compatible reduction orderings that are total on ground terms. In: Proceedings of LICS, pp. 2–13 (1997)