Non-well-founded deduction for induction and coinduction
scientific article; zbMATH DE number 7437069
scientific article