@article{DBLP:journals/jar/ThielscherS95,
  author = {Thielscher, Michael and Schaub, Torsten},
  title = {Default Reasoning by Deductive Planning},
  journal = {J. Autom. Reasoning},
  volume = {15},
  number = {1},
  pages = {1--40},
  year = {1995}
}