Proof Planning

Alan Bundy. Proof Planning. In AIPS. pages 261-267, 1996.

Abstract

Abstract is missing.