Representation of Factual Information by Equations and Their Evaluation

@inproceedings{Lucas-Risch:ICSE82,
  author    = {P. Lucas and
               Tore Risch},
  title     = {Representation of Factual Information by Equations and Their Evaluation},
  booktitle = {ICSE},
  pages     = {367--376},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}