Extending automatic theorem proving by planning - Sonntag, Inger; Denzinger, Jörg (1993)