@article{libes2013canonicalization,
  added-at = {2016-08-25T00:19:02.000+0200},
  author = {Libes, Don and Gerardin, Antoine and Tixier, Severin and Neuhaus, Fabian},
  biburl = {https://www.bibsonomy.org/bibtex/2a617e7a074cb3af006dcce23b283f6a8/fneuhaus},
  interhash = {f168e6fbad5471af09c13bd6b6ab9f18},
  intrahash = {a617e7a074cb3af006dcce23b283f6a8},
  journal = {Journal of Software},
  keywords = {myown},
  number = 5,
  pages = {1058--1062},
  timestamp = {2016-08-25T00:19:02.000+0200},
  title = {Canonicalization in the PrIKL Reasoner},
  volume = 8,
  year = 2013
}