D. Miller (1990): Abstractions in Logic Programs

Title:	Abstractions in Logic Programs
Author(s):	D. Miller
Year:	1990
Booktitle:	Logic and Computer Science
Publisher:	Academis Press Limited

Concepts