The complexity of logical theories (1980)

by L Berman
Venue:Theoretical Computer Science