@Article{thielscher:1-JAR95,
  author = 	"Michael Thielscher and Torsten Schaub",
  title = 	"Default {R}easoning by {D}eductive {P}lanning",
  journal = 	"Journal of Automated Reasoning. {\em Special issue on the
		  automation of commonsense and nonmonotonic reasoning}",
  year = 	"1995",
  volume = 	"15",
  number = 	"1",
  pages = 	"1--40"
}