Logic program synthesis and transformation. International workshop, LOPSTR (6th:1996:Stockholm, Sweden), August 28-30, 1996: proceedings - Gallagher, John, 1919- (Springer, 1997)
Index.