"Integrating an Equality Prover into a Software Development System Based on ..."

Martin Strecker, Maria Sorea (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics