@INPROCEEDINGS{MPB-JH:CTRS1990:completion,
AUTHOR = "Maria Paola Bonacina and Jieh Hsiang",
TITLE = "Completion procedures as semidecision procedures",
BOOKTITLE = "Proceedings of the Second International Workshop
on Conditional and Typed Term Rewriting Systems (CTRS), June 1990",
EDITOR = "Mitsuhiro Okada and Kaplan, Stephan",
SERIES = "Lecture Notes in Computer Science",
VOLUME = 516,
PAGES = "206--232",
PUBLISHER = "Springer",
YEAR = 1991}