Ramsey vs. Lexicographic Termination Proving (bibtex)
by Byron Cook, Abigail See, Florian Zuleger
Reference:
Ramsey vs. Lexicographic Termination ProvingByron Cook, Abigail See, Florian ZulegerTACAS, pages 47-61, 2013.
Bibtex Entry:
@inproceedings{conf/tacas/CookSZ13,
  author    = {Byron Cook and
               Abigail See and
               Florian Zuleger},
  title     = {Ramsey vs. Lexicographic Termination Proving},
  booktitle = {TACAS},
  year      = {2013},
  pages     = {47-61},
  ee        = {http://dx.doi.org/10.1007/978-3-642-36742-7_4}
}
Powered by bibtexbrowser