"System Presentation -- CARIBOO: An induction based proof tool for ..."

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics