@inproceedings{LochbihlerSchneider2016ITP,
  author = {Andreas Lochbihler and Joshua Schneider},
  title = {Equational Reasoning with Applicative Functors},
  editor = {Jasmin Christian Blanchette and Stephan Merz},
  booktitle = {Interactive Theorem Proving (ITP 2016)},
  year = 2016,
  series = {LNCS},
  volume = {9807},
  publisher = {Springer},
  pages = {252--273},
  doi = {10.1007/978-3-319-43144-4_16},
}

@article{Basin1994IPL,
  author = {David A. Basin},
  title = {A Term Equality Problem Equivalent to Graph Isomorphism},
  year = 1994,
  journal = {Information Processing Letters},
  volume = {51},
  pages = {61--66},
}
