Grammar rewriting (1992)

by David McAllester
Venue:In Proc. CADE–11, volume 607 of LNAI