Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions - Hüseyin Saglam; John P. Gallagher (PLILP, 1995)

Practical Model-Based Static Analysis for Definite Logic Programs. - John P. Gallagher; Dmitri Boulanger; Hüseyin Saglam (ILPS, 1995)

Constrained Regular Approximation of Logic Programs. - Hüseyin Saglam; John P. Gallagher (LOPSTR, 1997)

Analysis of Imperative Programs through Analysis of Constraint Logic Programs. - Julio C. Peralta; John P. Gallagher; Hüseyin Saglam (SAS, 1998)

A toolkit for static analysis of constraint logic programs. - Hüseyin Saglam (1998)