Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs (2002)

by Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti
Venue:In Proc. IEEE Conference on Systems, Man and Cybernetics, Hammamet
Citations:7 - 5 self