ByNobleID
    Logic Program Synthesis and Transformation Meta-Programming in Logic : 4th International Workshops Lopstr '94 and Meta '94 : Pisa, Italy, June 20-21, 1994 : Proceedings | NobleID