Completion is an instance of abstract canonical system inference

Guillaume Burel, Claude Kirchner

pp. 497-520


This document is unfortunately not available for download at the moment.

Not implemented yet !