The CADE-21 automated theorem proving system competition - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Geoff Sutcliffe. The CADE-21 automated theorem proving system competition. AI Commun., 21(1):71-81, 2008. [doi]

@article{Sutcliffe08,
  title = {The CADE-21 automated theorem proving system competition},
  author = {Geoff Sutcliffe},
  year = {2008},
  url = {http://iospress.metapress.com/content/q3717606w4338313/},
  researchr = {https://researchr.org/publication/Sutcliffe08},
  cites = {0},
  citedby = {0},
  journal = {AI Commun.},
  volume = {21},
  number = {1},
  pages = {71-81},
}

runs on WebDSL