Libes, D.
, Gerardin, A.
, Tixier, S.
and Neuhaus, F.
(2013),
Canonicalization in the PrIKL Reasoner, Journal of Software
(Accessed April 18, 2025)
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.