Towards Fine-Grained Proof Planning with Critical Agents (1999)

by C Benzmuller, V Sorge
Venue:Informal Proceedings of the Sixth Workshop on Automated Reasoning Bridging the Gap between Theory and Practice in conjunction with AISB'99 Convention