Jean-Pierre Jouannaud, Hélène Kirchner. Completion of a Set of Rules Modulo a Set of Equations. In POPL. pages 83-92, 1984.
@inproceedings{JouannaudK84,
title = {Completion of a Set of Rules Modulo a Set of Equations},
author = {Jean-Pierre Jouannaud and Hélène Kirchner},
year = {1984},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/JouannaudK84},
cites = {0},
citedby = {0},
pages = {83-92},
booktitle = {POPL},
}