Completion is an instance of abstract canonical system inference

2006

Guillaume Burel, Claude Kirchner

in: Algebra, meaning, and computation, Berlin,