1. Advances in WASP;Alviano,2015
2. Anytime computation of cautious consequences in answer set programming;Alviano;TPLP,2014
3. Principles of Constraint Programming;Apt,2003
4. The Description Logic Handbook: Theory, Implementation, and Applications,2003
5. An overview of tableau algorithms for description logics;Baader;Studia Logica,2001