@article{FRANK_2016,
    doi = {10.1017/s1471068416000223},
    url = {https://doi.org/10.1017%2Fs1471068416000223},
    year = {2016},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {16},
    number = {5-6},
    pages = {688--702},
    author = {Michael Frank and Michael Codish},
    title = {Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description)},
    journal = {Theory and Practice of Logic Programming}
}

@article{FRANK_2016, doi = {10.1017/s1471068416000223}, url = {https://doi.org/10.1017%2Fs1471068416000223}, year = {2016}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {16}, number = {5-6}, pages = {688--702}, author = {Michael Frank and Michael Codish}, title = {Logic Programming with Graph Automorphism: Integrating naut with Prolog (Tool Description)}, journal = {Theory and Practice of Logic Programming} }