An interactive derivation editor for the calculus of partial inductive definitions (1994)

by Pi
Venue:Proceedings of the 12th International Conference on Automated Deduction, volume 814 of LNAI