Basic Completion with E-cycle Simplification

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