Adapting methods to novel tasks in proof planning - Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Richts, Jörn (18th Annual German Conference on Artificial Intelligence, KI 1994, 1994)