TY  - VIDEO
AU  - Don Libes
AU  - Antoine Gerardin
AU  - Severin Tixier
AU  - Fabian Neuhaus
C2  - Journal of Software
DA  - 2013-05-30
LA  - en
PB  - Journal of Software
PY  - 2013
TI  - Canonicalization in the PrIKL Reasoner
ER  -