@Article{thisch95a,
  author =	 "M. Thielscher and T. Schaub",
  title =	 "Default Reasoning by Deductive Planning",
  optcrossref =	 "",
  optkey =	 "",
  journal =	 jar,
  year =	 1995,
  volume =	 15,
  number =	 1,
  pages =	 "1-40",
  optmonth =	 ""
}