Extending automatic theorem proving by planning - Sonntag, Inger; Denzinger, Jörg (Fachbereich Informatik, Univ. Kaiserslautern, 1993)