Cut-elimination for a logic with definitions and induction (1997)

by Raymond Mcdowell , Dale Miller
Venue:Theoretical Computer Science
Citations:61 - 19 self