Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees. - Francis Giannesini; Jacques Cohen (J. Log. Program., 1984)

Prolog. - Francis Giannesini; Henry Kanoui; Robert Pasero; Michel Van Caneghem (Addison-Wesley, 1986)