@unpublished{SonntagDenzinger1993, author = {Inger Sonntag and J{\"o}rg Denzinger}, title = {Extending automatic theorem proving by planning}, institution = {Fachbereich Informatik}, series = {SEKI Report}, number = {93,2}, year = {1993}, url = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-3149}, }