Efficient deduction in equality Horn logic by Horn-completion

DOI10.1016/0020-0190(91)90053-KzbMath0735.68075MaRDI QIDQ1182107

Pilar Nivela, Robert Nieuwenhuis

Publication date: 27 June 1992

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

automatic theorem proving

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Refutational theorem proving for hierarchic first-order theories

Cites Work

• A completion procedure for conditional equations
• Completion-time optimization of rewrite-time goal solving
• Unnamed Item

This page was built for publication: Efficient deduction in equality Horn logic by Horn-completion