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