García de la (2001)

by C Holzbaur, P J Stuckey, M
Venue:Logic Programming: Proceedings of the 17th International Conference, LNCS