BibTeX

@incollection{krause95,
  author = {Peter Krause},
  title = {{Presupposition and Abduction in Type Theory}},
  booktitle = {{Working Notes of { em  Computational Logic and Natural Language Processing}}},
  year = {1995},
  editor = {E. Klein and S. Manandhar and W. Nutt and J. Siekmann},
  chapter = {13},
  address = {South Queensferry, Scotland}
}