The OYSTER-CLAM system. Bundy, A., van Harmelen, F., Smaill, A., & Horn, C. In Conference on Automated Deduction (CADE), pages 647–648, 1990.
The OYSTER-CLAM system [pdf]Paper  bibtex   

Downloads: 0