Conclusions about the CADE-13 ATP System Competition - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner. Conclusions about the CADE-13 ATP System Competition. Journal of Automated Reasoning, 18(2):287-296, 1997.

@article{PelletierSS97,
  title = {Conclusions about the CADE-13 ATP System Competition},
  author = {Francis Jeffry Pelletier and Geoff Sutcliffe and Christian B. Suttner},
  year = {1997},
  researchr = {https://researchr.org/publication/PelletierSS97},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {18},
  number = {2},
  pages = {287-296},
}

runs on WebDSL