4 papers:
CADE-1998-RichardsonSG #higher-order #logic #proving #theorem proving- System Description: Proof Planning in Higher-Order Logic with Lambda-Clam (JR, AS, IG), pp. 129–133.
- CADE-1998-SlindGBB #interface
- System Description: An Interface Between CLAM and HOL (KS, MJCG, RJB, AB), pp. 134–138.
- CADE-1990-BundyHHS
- The Oyster-Clam System (AB, FvH, CH, AS), pp. 647–648.
OOPSLA-1987-CallCM #named #user interface #visual notation- CLAM — an Open System for Graphical User Interfaces (LAC, DLC, BPM), pp. 277–286.
