May 30, 2013
Author(s)
Don E. Libes, Antoine D. Gerardin, Severin Tixier, Fabian M. Neuhaus
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