Compile Time Constraint Solving in a Constraint Database System. - Roman Gross; Robert W. Marti (ILPS Workshop: Constraints and Databases, 1994)

DeCoR a Deductive Constraint Database System. - Roman Gross; Robert W. Marti (WLP, 1994)

Managing Temporal Knowledge Using a Deductive Constraint Database System. - Roman Gross; Robert W. Marti (BTW, 1995)