A fixedpoint approach to implementing (co)inductive definitions (1994)

by L C Paulson
Venue:Automated Deduction — CADE-12 International Conference, LNAI 814