title: the glue-nail deductive database system : design , implementation , and evaluation. authors: m derr , s morishita , g phipps. venue: vldb j.. year: 1994
title: design , implementation , and evaluation of the constraint language cc ( fd ). authors: p van hentenryck , v saraswat , y deville. venue: lecture notes in computer science ,. year: 1995.0