Michael Leuschel (auth.), Maurizio Proietti (eds.)

Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR’95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings