@Inproceedings{Moldovan:2003:2,
  author = {Moldovan, Dan and Clark, Christine and Harabagiu, Sanda and Maiorano, Steve},
  title  = {COGEX: A Logic Prover for Question Answering},

  year   = {2003},
  number = {},
  url    = {http://acl.ldc.upenn.edu/N/N03/N03-1022.pdf},

  const  = {\ text}
}
@Book{Kalman:2001,
  author = {Kalman, John A.},
  title  = {Automated Reasoning with OTTER},

  year   = {2001},
  number = {},
  url    = {},

  const  = {\ text}
}
@Techreport{Gardent:2000,
  author = {Gardent, Claire and Webber, Bonnie},
  title  = {Automated Reasoning and Discourse Disambiguation},

  year   = {2000},
  number = {CLAUS-113},
  url    = {http://www.coli.uni-sb.de/cl/claus/},

  const  = {\ text}
}
@Misc{Pratt:2000,
  author = {Pratt-Hartmann, Ian},
  title  = {An Ambiguous Logic},

  year   = {2000},
  number = {},
  url    = {},

  const  = {\ text}
}
@Misc{Blackburn:1999,
  author = {Blackburn, Patrick and Bos, Johan and Kohlhase, Michael},
  title  = {Automated Reasoning for Computational Semantics},

  year   = {1999},
  number = {},
  url    = {http://www.coli.uni-sb.de/{\~{}}bos/atp/doris-pubs.html},

  const  = {\ text}
}
@Misc{Pratt:1999,
  author = {Pratt-Hartmann, Ian},
  title  = {Inference Problems in ExtrAns: Quick Summary},

  year   = {1999},
  number = {},
  url    = {},

  const  = {\ text}
}
@Inproceedings{Blackburn:1997,
  author = {Blackburn, Patrick and Dymetman, Marc and Lecomte, Alain and Ranta, Aarne and Retor{\'e}, Christian and de la Clergerie, Eric Villemonte},
  title  = {Logical Aspects of Computational Linguistics: an introduction},

  year   = {1997},
  number = {},
  url    = {},

  const  = {\ text}
}
@Book{ShanahamBook:1997,
  author = {Shanaham, Murray},
  title  = {Solving the Frame Problem},

  year   = {1997},
  number = {},
  url    = {},

  const  = {\ text}
}
@Book{vanBenthem:1997,

  title  = {Handbook of Logic and Language},

  year   = {1997},
  number = {},
  url    = {},

  const  = {\ text}
}
@Inproceedings{Wille:1997,
  author = {Wille, Rudolf},
  title  = {Conceptual Graphs and Formal Concept Analysis},

  year   = {1997},
  number = {},
  url    = {http://www.int.gu.edu.au/kvo/reading/index.html},

  const  = {\ text}
}
@Incollection{Kowalski:1995,
  author = {Kowalski, Robert},
  title  = {Logic without Model Theory},

  year   = {1995},
  number = {},
  url    = {http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html},

  const  = {\ text}
}
@Techreport{Flax:1993,
  author = {Flax, Lee},
  title  = {Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tables},

  year   = {1993},
  number = {93-139C},
  url    = {},

  const  = {\ text}
}
@Book{Gamut:1991,
  author = {Gamut, L. T. F.},
  title  = {Logic, Language, and Meaning},

  year   = {1991},
  number = {},
  url    = {},

  const  = {\ text}
}
@Book{Kowalski:1979,
  author = {Kowalski, Robert},
  title  = {Logic for Problem Solving},

  year   = {1979},
  number = {},
  url    = {},

  const  = {\ text}
}
@Incollection{Clark:1978,
  author = {Clark, Keith L.},
  title  = {Negation as failure},

  year   = {1978},
  number = {},
  url    = {},

  const  = {\ text}
}
@Incollection{Green:1969,
  author = {Green, Cordell},
  title  = {Theorem-Proving by Resolution as a Basis for Question-Answering Systems},

  year   = {1969},
  number = {},
  url    = {},

  const  = {\ text}
}