"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