Christopher Lynch Christelle Scharff Basic Completion with E-cycle Simplification. 145-165 1999 39 Fundam. Inform. 1-2 db/journals/fuin/fuin39.html#LynchS99