Logic program synthesis and transformation /
LOPSTR'91ConferenceUniversity of Manchester.
Clement, Tim,1954-
Lau, King-Kiu,1953-
London : Springer-Verlag in collaboration with the British Computer Society,
1992.