A formal approach to deductive synthesis of constraint logic programs (1995)

by K-K Lau, M Ornaghi
Venue:In J.W. Lloyd (ed), Proc. of ILPS'95