An Evaluation Based Theorem Prover

Pierpaolo Degano, Franco Sirovich. An Evaluation Based Theorem Prover. IEEE Trans. Pattern Anal. Mach. Intell., 7(1):70-79, 1985. [doi]

@article{DeganoS85,
  title = {An Evaluation Based Theorem Prover},
  author = {Pierpaolo Degano and Franco Sirovich},
  year = {1985},
  doi = {10.1109/TPAMI.1985.4767619},
  url = {http://dx.doi.org/10.1109/TPAMI.1985.4767619},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/DeganoS85},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Pattern Anal. Mach. Intell.},
  volume = {7},
  number = {1},
  pages = {70-79},
}