<i>InterACT</i>: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.

Marcus Klar Robert Geisler Felix Cornelius <i>InterACT</i>: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. 291-395 1995 conf/compass/1995 COMPASS/ADT db/conf/compass/compass95.html#KlarGC95