c-ijcai-97-1549W. Bibel.
Let's plan in deductively.
Proc. International Joint Conference on Artificial Intelligence, 1997, pp. 1549-1562.