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

by Pi
Venue:Proceedings of the Twelfth International Conference on Automated Deduction, volume 814 of Lecture Notes in Artificial Intelligence