Authors: Cortesi, A Le Charlier, B Van Hentenryck, P

Citation: A. Cortesi et al., Combinations of abstract domains for logic programming: open product and generic pattern construction, SCI COMP PR, 38(1-3), 2000, pp. 27-71

Authors: Le Charlier, B Leclere, C Rossi, S Cortesi, A

Citation: B. Le Charlier et al., Automated verification of Prolog programs, J LOGIC PR, 39(1-3), 1999, pp. 3-42