Author:
Caferra Ricardo,Peltier Nicolas
Reference24 articles.
1. Andrews, P. (1981). Theorem-proving via general matrices. Journal of the Association of Computing Machinery, 28 (2): 193–214.
2. Bibel, W. (1981). On matrices with connections. Journal of the Association of Computing Machinery, 28: 633–645.
3. Bibel, W. (1982). A comparative study of several proof procedures. Artificial Intelligence, 18: 269–293.
4. Bourely, C., Caferra, R., and Peltier, N. (1994). A method for building models automatically. Experiments with an extension of Otter. In Proceedings of CADE-12, pages 72–86. Springer. LNAI 814.
5. Boy de la Tour, T. (1992). An optimality result for clause form translation. Journal of Symbolic Computation, 14: 283–301.