Logic program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 /
T. P. Clement and K.-K. Lau (eds.).
- London : Springer, 1992.
- X, 337 s. ; 25 cm.
- Workshops in Computing .
- Workshops in Computing .