1. Game-theoretic analysis of a bankruptcy problem from the Talmud;Aumann;Journal of Economic Theory,1985
2. The Description Logic Handbook: Theory, Implementation and Applications;Baader,2003
3. Handbook of Modal Logic;Blackburn,2006
4. Nonmonotonic Reasoning: Logical Foundations of Commonsense;Brewka,1991
5. The complexity of the counting constraint satisfaction problem;Bulatov;Journal of the ACM,2013