Lecture notes in computer science V.306. Foundations of logic and functional programming - 1988 Subjects--Uniform Titles: Computers Dewey Class. No.: 621.38195 / G52L