@InProceedings{ Lau&Ornaghi:94a, Author = "K.-K. Lau and M. Ornaghi", Title = "On Specification Frameworks and Deductive Synthesis of Logic Programs", BookTitle = "Proc. LOPSTR 94 and META 94, Lecture Notes in Computer Science 883", Editor = "L. Fribourg and F. Turini", Year = "1994", Pages = "104-121", Publisher = "Springer-Verlag" }