Saturation of first-order (constrained) clauses with the Saturate system
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 436-440
- https://doi.org/10.1007/3-540-56868-9_33
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Efficient deduction in equality Horn logic by Horn-completionInformation Processing Letters, 1991
- SOLVING SYMBOLIC ORDERING CONSTRAINTSInternational Journal of Foundations of Computer Science, 1990