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