Jennifer Burg Peter J. Stuckey Jason C. H. Tai Roland H. C. Yap Linear Equation Solving for Constraint Logic Programming. 33-47 1995 ICLP db/conf/iclp/iclp95.html#BurgSTY95