(1993). Logic program synthesis and transformation: Proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 / sponsored by the Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, eds.
Cita Chicago (17th ed.)Logic Program Synthesis and Transformation: Proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 / Sponsored by the Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, Eds. 1993.
Cita MLA (9th ed.)Logic Program Synthesis and Transformation: Proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 / Sponsored by the Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, Eds. 1993.