AI-Techniques in Proof Planning

Erica Melis. AI-Techniques in Proof Planning. In ECAI. pages 494-498, 1998.

Abstract

Abstract is missing.