"SPIKE: a System for Sufficient Completeness and Parameterized Inductive ..."

Adel Bouhoula (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics