1. Bry F., Yahya A. (2000). Positive unit hyperresolution tableaux and their application to minimal model generation. Journal of Automated Reasoning 25: 35–82
2. Charniak E. (1988). Motivation analysis, abductive unification and nonmonotonic equality. Artificial Intelligence 34: 275–295
3. Cohen, A. (2005). Vagueness and indiscriminability by failure. Presented at the 33rd Annual Meeting of the Society for Exact Philosophy.
4. Cohen, A. (2006). Anaphora resolution and minimal models. In J. Bos, & A. Koller (Eds.), Proceedings of the 5th International Conference on Inference in Computational Semantics–ICOS-5, pp. 7–16.
5. Cohen, A., Kaminski, M., & Makowsky, J. A. (2005). Indistinguishability by default. In S. Artemov, H. Barringer, A. S. d’Avila Garcez, L. C. Lamb, & J. Woods (Eds.), We will show them: Essays in honour of Dov Gabbay (Vol. 1, pp. 415–428). London: College Publications.