with Burel, G. , 2006, Completion is an instance of abstract canonical system inference, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 497-520.