Foundations of logic and functional programming 
ed. by M. Boscarol, L Carlucci Aiello and G. Levi 
 - Berlin  Springer-Verlag  1988 
 - iv, 218p. 
 - Lecture notes in computer science   .
<br/><br/><label>ISBN: </label>3540191291 
<br/><br/><label>Dewey Class. No.: </label>005.115  / N881