@InProceedings{thielscher:NMR10,
  author = 	"Hannes Strass and Michael Thielscher",
  title = 	"A General First-Order Solution to the Ramification Problem",
  booktitle = 	"Proceedings of the International Workshop on Nonmonotonic
		  Reasoning (NMR)",
  year = 	"2010",
  editor =	"",
  pages =	"",
  address =	"Toronto",
  month =	may
}