@misc{22996,
  author = {Don Libes and Antoine Gerardin and Severin Tixier and Fabian Neuhaus},
  title = {Canonicalization in the PrIKL Reasoner},
  year = {2013},
  month = {2013-05-30},
  publisher = {Journal of Software},
  language = {en},
}