Basic Completion with E-cycle Simplification

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

Abstract

Abstract is missing.