1. FDPLL—A first-order Davis–Putnam–Logeman–Loveland procedure;Baumgartner,2000
2. F. Black, A deductive question-answering system, PhD thesis, Harvard University, 1964
3. Representation and Inference for Natural Language. A First Course in Computational Semantics;Blackburn,2005
4. Inference and computational semantics;Blackburn,2001
5. Implementing the binding and accommodation theory for anaphora resolution and presupposition projection;Bos;Computational Linguistics,2003