Wellfounded Schematic Definitions (2000)

by K Slind
Venue:In Proc. of the 17th International Conference on Automated Deduction (CADE), volume 1831 of LNCS