Author:
Balbiani Philippe,Gencer Çiğdem
Reference26 articles.
1. Baader, F. 1998. On the complexity of Boolean unification. Information Processing Letters 67: 215–220.
2. Baader, F., S. Borgwardt, and B. Morawska. 2012. Extending unification in $$\cal{EL}$$ towards general TBoxes. In Principles of Knowledge Representation and Reasoning, 568–572. AAAI Press.
3. Baader, F., and S. Ghilardi. 2011. Unification in modal and description logics. Logic Journal of the IGPL 19: 705–730.
4. Baader, F., and B. Morawska. 2009. Unification in the description logic $$\cal{EL}$$. In Rewriting Techniques and Applications, ed. R. Treinen, 350–364. Berlin: Springer
5. Balbiani, P., and Ç. Gencer. 2015. Admissibility and unifiability in contact logics. In Logic, Language, and Computation, 44–60. Berlin: Springer