@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}