%0 Journal Article %1 journals/jsw/LibesGTN13 %A Libes, Don %A Gerardin, Antoine %A Tixier, Severin %A Neuhaus, Fabian %D 2013 %J J. Softw. %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 = {2023-09-30T00:00:00.000+0200}, author = {Libes, Don and Gerardin, Antoine and Tixier, Severin and Neuhaus, Fabian}, biburl = {https://www.bibsonomy.org/bibtex/2430aeccd9590463624df2ea13d3f0e05/dblp}, ee = {http://www.jsoftware.us/index.php?m=content&c=index&a=show&catid=79&id=912}, interhash = {f168e6fbad5471af09c13bd6b6ab9f18}, intrahash = {430aeccd9590463624df2ea13d3f0e05}, journal = {J. Softw.}, keywords = {dblp}, number = 5, pages = {1058-1062}, timestamp = {2024-04-08T14:52:03.000+0200}, title = {Canonicalization in the PrIKL Reasoner.}, url = {http://dblp.uni-trier.de/db/journals/jsw/jsw8.html#LibesGTN13}, volume = 8, year = 2013 }