Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness - Azeddine Lazrek; Pierre Lescanne; Jean-Jacques Thiel (Inf. Comput., 1990)