@InProceedings{thielscher:JICSLP96,
  author = 	"Michael Thielscher",
  title =       "A Nonmonotonic Disputation-Based Semantics and Proof
                  Procedure for Logic Programs",
  booktitle =   "Proceedings of the Joint International Conference and
                  Symposium on Logic Programming (JICSLP)",
  year = 	1996,
  editor = 	"M.\ Maher",
  pages =	"",
  publisher = 	"MIT Press",
  address =	"Bonn, Germany",
  month =       sep
}