Parser generation and grammar manipulation using prolog’s infinite trees (1984)

by F Giannesini, J Cohen
Venue:The Journal of Logic Programming