@InProceedings{thielscher:2-IJCAI95,
  author = 	"Michael Thielscher",
  title = 	"Computing {R}amifications by {P}ostprocessing",
  booktitle = 	"Proceedings of the International Joint Conference on
		 Artificial Intelligence (IJCAI)",
  year = 	"1995",
  editor =	"C.~S.\ Mellish",
  pages =	"1994--2000",
  publisher = 	"Morgan Kaufmann",
  address =	"Montreal, Canada",
  month =       aug
}