Laurent Fribourg A Strong Restriction of the Inductive Completion Procedure. 253-276 1989 8 J. Symb. Comput. 3 db/journals/jsc/jsc8.html#Fribourg89