title: thщmis : a database programming language handling integrity constraints v benzaken , a doucet vldb j.. authors: nan. venue: nan. year: 1995.0
title: constraintlisp : an object-oriented constraint programming language ' b liu , yw ku 1992.0. authors: nan. venue: acm sigplan notices ,. year: nan