%0 Journal Article %1 journals/tplp/FrankC16 %A Frank, Michael %A Codish, Michael %D 2016 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 688-702 %T Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description). %U http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#FrankC16 %V 16

@article{journals/tplp/FrankC16, added-at = {2020-02-13T00:00:00.000+0100}, author = {Frank, Michael and Codish, Michael}, biburl = {https://www.bibsonomy.org/bibtex/29b37b7aef130e807eabd59c2b8bc647a/dblp}, ee = {https://doi.org/10.1017/S1471068416000223}, interhash = {c684d9290e42ba2e33b6b68ee3e038f9}, intrahash = {9b37b7aef130e807eabd59c2b8bc647a}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {688-702}, timestamp = {2020-02-14T11:43:32.000+0100}, title = {Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description).}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#FrankC16}, volume = 16, year = 2016 }