1. Baader, F., Brandt, S., Lutz, C.: Pushing the $$\cal{EL}$$ envelope. In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, 2005, pp. 364–369. http://ijcai.org/Proceedings/05/Papers/0372.pdf
2. Baader, F., Fernández Gil, O., Pensel, M.: Standard and Non-Standard Inferences in the Description Logic $$\cal{FL}_0$$ using Tree Automata. LTCS-Report 18–04, Chair for Automata Theory, Institute for Theoretical Computer Science, TU Dresden, Dresden, Germany (2018). http://lat.inf.tu-dresden.de/research/reports.html
3. Baader, F., Fernández Gil, O., Marantidis, P.: Matching in the description logic $$\cal{FL}_0$$ with respect to general TBoxes. In: LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2018, EPiC Series in Computing, EasyChair, vol. 57, pp. 76–94 (2018). http://www.easychair.org/publications/paper/XrXz
4. Baader, F., Fernández Gil, O., Pensel, M.: Standard and non-standard inferences in the description logic $$\cal{FL}_0$$ using tree automata. In: GCAI-2018, 4th Global Conference on Artificial Intelligence, 2018, EPiC Series in Computing, EasyChair, vol. 55, pp. 1–14 (2018). http://www.easychair.org/publications/paper/H6d9
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Baader,2016