Automating inductive specification proofs (1999)

by Brigitte Pientka, Christoph Kreitz
Venue:Fundamenta Informatica