An Introduction to CDUCE.
Giuseppe Castagna
MyThS/MIKADO/DART Meeting, Venice, June 14-16 2004
Slides
Abstract