%0 Journal Article %1 journals/jsw/LibesGTN13 %A Libes, Don %A Gerardin, Antoine %A Tixier, Severin %A Neuhaus, Fabian %D 2013 %J JSW %K dblp %N 5 %P 1058-1062 %T Canonicalization in the PrIKL Reasoner. %U http://dblp.uni-trier.de/db/journals/jsw/jsw8.html#LibesGTN13 %V 8

@article{journals/jsw/LibesGTN13, added-at = {2013-05-27T00:00:00.000+0200}, author = {Libes, Don and Gerardin, Antoine and Tixier, Severin and Neuhaus, Fabian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f7797322520d3928bd59419fd0051166/dblp}, ee = {http://dx.doi.org/10.4304/jsw.8.5.1058-1062}, interhash = {f168e6fbad5471af09c13bd6b6ab9f18}, intrahash = {f7797322520d3928bd59419fd0051166}, journal = {JSW}, keywords = {dblp}, number = 5, pages = {1058-1062}, timestamp = {2016-02-02T08:52:06.000+0100}, title = {Canonicalization in the PrIKL Reasoner.}, url = {http://dblp.uni-trier.de/db/journals/jsw/jsw8.html#LibesGTN13}, volume = 8, year = 2013 }