editors. The (1999)

by A Bossi, Y Deville
Venue:Journal of Logic Programming, Special Issue on Synthesis, Transformation and Analysis