Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr'95, Utrecht, the Netherlands, September 20-22, 1995: Proceedings (Lecture Notes in Computer Science)
by: Netherlands) International Workshop on Logic Program Synthesis and Transformation (5th : 1995 : Utrecht · Maurizio Proietti