Goal directed strategies for paramodulation
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 150-161
- https://doi.org/10.1007/3-540-53904-2_93
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- An improved general E-unification methodPublished by Springer Nature ,1990
- On restrictions of ordered paramodulation with simplificationPublished by Springer Nature ,1990
- Complete sets of transformations for general E-unificationTheoretical Computer Science, 1989
- Proof normalization for resolution and paramodulationPublished by Springer Nature ,1989
- A general complete E-unification procedureLecture Notes in Computer Science, 1987
- Equality-based binary resolutionJournal of the ACM, 1986
- A Technique for Establishing Completeness Results in Theorem Proving with EqualitySIAM Journal on Computing, 1983
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Proving Theorems with the Modification MethodSIAM Journal on Computing, 1975
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965