Prolog and Infinite Trees (1982)

by A Colmerauer
Venue:Logic Programming