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