Basic Completion with E-cycle Simplification

Christopher Lynch, Christelle Scharff. Basic Completion with E-cycle Simplification. Fundamenta Informaticae, 39(1-2):145-165, 1999.

Possibly Related Publications

The following publications are possibly variants of this publication: