1. Zooming out of higraph-based diagrams: syntactic and semantic issues;Anderson;Electronic Notes in Theoretical Computer Science (ENTCS),2002
2. Diagrams and the concept of logical system;Barwise,1996
3. Proceedings of CADE-14;Benzmüller,1997
4. Proof planning;Bundy,1996
5. Lassaad Cheikhrouhou and Volker Sorge. PDS — A Three-Dimensional Data Structure for Proof Plans. In Proceedings of the International Conference on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications (ACIDCA'2000), Monastir, Tunisia, March 2000