Prolog and infinite trees (1982)

by A Colmerauer
Venue:In Logic Programming