@article{ThielscherSchaub1995,
  author    = {Michael Thielscher and Torsten H. Schaub},
  title     = {Default reasoning by deductive planning},
  year      = {1995},
}