Publisher
Springer International Publishing
Reference31 articles.
1. Ackermann, W.: Untersuchungen über das Eliminationsproblem der mathematischen Logik. Math. Ann. 110, 390–413 (1935)
2. Baader, F.: On the complexity of Boolean unification. Inf. Process. Lett. 67(4), 215–220 (1998)
3. Baader, F., Morawska, B.: Unification in the description logic $$\cal{EL}$$ . Log. Methods Comput. Sci. 6(3), 1–31 (2010)
4. Baader, F., Narendran, P.: Unification of concept terms in description logics. J. Symb. Comput. 31, 277–305 (2001)
5. Behmann, H.: Das Auflösungsproblem in der Klassenlogik. Archiv für Philosophie 4(1), 97–109 (1950). (First of two parts, also published in Archiv für mathematische Logik und Grundlagenforschung, 1.1 (1950), pp. 17–29)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献