A strong restriction of the inductive completion procedure. (1989)

by L Fribourg
Venue:Journal of Symbolic Computation,