A strong restriction of the inductive completion procedure

Laurent Fribourg
1989 Journal of symbolic computation  
doi:10.1016/s0747-7171(89)80069-0 fatcat:4rgttgj3abcgblolbwvs36ybxe