shallow theories (1994)

by cycle-syntacticness Syntacticness
Venue:Information and Computation