Integrating induction and coinduction via closure operators and proof cycles
scientific article; zbMATH DE number 7614523
scientific article