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