An Overview of (1988)

by G Nadathur, D Miller
Venue:Prolog, Proceedings of the Fifth International Logic Programming Conference