Christopher Lynch, Christelle Scharff. Basic Completion with E-cycle Simplification. Fundamenta Informaticae, 39(1-2):145-165, 1999.
@article{LynchS99, title = {Basic Completion with E-cycle Simplification}, author = {Christopher Lynch and Christelle Scharff}, year = {1999}, tags = {e-science}, researchr = {https://researchr.org/publication/LynchS99}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {39}, number = {1-2}, pages = {145-165}, }