Extending automatic theorem proving by planning - Sonntag, Inger; Denzinger, Jörg (Universität <Kaiserslautern> / SEKI-Projekt: SEKI report, 1993)