Implementation Strategies for Plan-Based Deduction.

Kenneth Forsythe, Stan Matwin

Browse the full CADE paper archive.