Completion of First-Order Clauses with Equality by Strict Superposition (Extended Abstract)

@inproceedings{Bachmair1990CompletionOF,
  title={Completion of First-Order Clauses with Equality by Strict Superposition (Extended Abstract)},
  author={Leo Bachmair and Harald Ganzinger},
  booktitle={CTRS},
  year={1990}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 19 extracted citations

Abstract canonical presentations

Theor. Comput. Sci. • 2006
View 1 Excerpt

Similar Papers

Loading similar papers…