00820nam a22002171 4500 1/11823 971215s1997 enk 000 0 eng d 3540627189 12187 DLC GR-PeUP 005.11 LO Logic program synthesis and transformation. International workshop, LOPSTR (6th:1996:Stockholm, Sweden), August 28-30, 1996: proceedings/ edited John Gallagher. Berlin: Springer, 1997. 322 p.: fig; 22 cm. Lecture Notes in Computer Science ; Index. Logic Programming. Gallagher, John, 1919- ed. Lecture Notes in Computer Science ; 1207 INST UNIPILB MAIN 20040709 005.11 LO 00127436 00127436 LOAN 0 1 /webopac/covers/01/12187_3540627189.jpg