Extensional Crisis and Proving Identity (bibtex)
by Laura Kovács Bernhard Kragl Andrei Voronkov Ashutosh Gupta
Reference:
Extensional Crisis and Proving IdentityLaura Kovács Bernhard Kragl Andrei Voronkov Ashutosh GuptaATVA, 2014.
Bibtex Entry:
@inproceedings{BBZH4,
  author    = {Ashutosh Gupta, Laura Kov{\'a}cs, Bernhard Kragl, Andrei Voronkov},
  title     = {Extensional Crisis and Proving Identity},
  booktitle = {ATVA},
  year      = {2014},
  url       = {http://pub.ist.ac.at/~agupta/papers/2014-extensionality.pdf}
}
Powered by bibtexbrowser