Infinite Normal Forms (plus corrigendum (1989)

by N Dershowitz, S Kaplan, D A Plaisted
Venue:In Proc. ICALP'89