National Institute of Standards and Technology, Gaithersburg, MD, USA

---

Abstract—Many objects in the PrIKL Reasoner have a canonical representation. This representation and its implementation required a number of choices with ramifications. This paper describes the choices, their consequences, and some of the more interesting implementation details. This information will be helpful in understanding the implementation of PrIKL, particular for implementors of PrIKL plugins. It may also be helpful in designing systems with similar representational problems.

Index Terms—Canonical representation, reasoner, prover, PrIKL, IKL.

[PDF]

Cite: Don Libes, Antoine Gerardin, Severin Tixier, Fabian Neuhaus, "Canonicalization in the PrIKL Reasoner," Journal of Software vol. 8, no. 5, pp. 1058-1062, 2013.