Tools for proving inductive equalities, relative completeness, and omega-completeness (1990)

by A Lazrek, P Lescanne, J-J Thiel
Venue:Information and Computation