Old work archeology...

Discussing with Joel and Chris the old papers that might make the Bridge system more understandable I came up with the  list below.Adding it here, as it might be useful for others, including myself...
1. Preventing Existence (with C. Condoravdi, D. Crouch, J. Everett, R. Stolle, D. Bobrow, M. van den Berg), In Proceedings of Formal Ontology in Information Systems, FOIS'01, October 2001 (this is a preliminary version of the paper). And  Entailment, Intensionality and Text Understanding (with Cleo Condoravdi, Richard Crouch, Reinhard Stolle, Daniel G. Bobrow.) Proceedings Human Language Technology Conference (HLT-NAACL-2003), Workshop on Text Meaning, Edmonton, Canada, May 2003. These are about why FOL is not enough for natural language, but maybe you're already OK with this…
2. Precision-focused Textual Inference (with Bobrow, D. G., C. Condoravdi, L. Karttunen, T. H. King, L. Price, R. Nairn, L.Price, A. Zaenen) Proceedings of ACL-PASCAL Workshop on Textual Entailment and Paraphrasing, pp. 16-21, 2007. And PARC's Bridge and Question Answering System (with Daniel G. Bobrow, Bob Cheslow, Cleo Condoravdi, Lauri Karttunen, Tracy H. King, Rowan Nairn, Charlotte Price and Annie Zaenen). Proceedings of Grammar Engineering Across Frameworks, pp 26--45, 2007.
These  are about the systems as a whole, system descriptions…
3. A Basic Logic for Textual inference (with D. Bobrow, C. Condoravdi, R. Crouch, R. Kaplan, L. Karttunen, T. King and A. Zaenen), In Procs. of the AAAI Workshop on Inference for Textual Question Answering, Pittsburgh PA, July 2005.  And Textual Inference Logic: Take Two, (with D. G. Bobrow, C. Condoravdi, R. Crouch,  L. Karttunen, T. H. King, R. Nairn and A. Zaenen)  Proceedings of the Workshop on Contexts and Ontologies, Representation and Reasoning, CONTEXT 2007.
These are about the Logic itself, my main concern.
4. The semantics itself and the Unified Lexicon idea are described in SEMANTICS VIA F-STRUCTURE REWRITING  and Unifying Lexical Resources (to be found in http://logic-forall.blogspot.com/2012/11/dick-tracy.html).
5. The paper on the algorithm to percolate truth-values through contexts is in Nairn, Condoravdi and Kartunnen, Computing Relative Polarity for Textual Inference.

Then there papers on regression, deverbals and other side issues. I need a proper map...