Specialization with clause splitting for deriving deterministic constraint logic programs (2002)

by F Fioravanti, A Pettorossi, M Proietti
Venue:In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Hammamet (Tunisia). IEEE Computer