Le processeur de la procedure formelle.

Published in: Bull. dInformatique Approfondie et Appl. (1992)