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