Representation of factual information by equations and their evaluationPeter LucasTore Risch1982ICSE 1982
Integrating relational databases and constraint languagesMichael R. HansenBo S. Hansenet al.1989Computer Languages