Canonicalization in the PrIKL Reasoner. - Don Libes; Antoine Gerardin; Severin Tixier; Fabian Neuhaus (J. Softw., 2013)