@InProceedings{thielscher:LOPSTR95,
  author = 	"Andr{\'e} de Waal and Michael Thielscher",
  title = 	"Solving Deductive Planning Problems Using
		  Program Analysis and Transformation",
  booktitle =   "Proceedings of the International Workshop on Logic
                  Program Synthesis and Transformation (LOPSTR)",
  year = 	1995,
  editor = 	"M.\ Proietti",
  pages =	"189--203",
  volume =      "1048",
  series =      "LNCS",
  publisher = 	"Springer",
  month =       sep
}