Marco Calautti, Sergio Greco, Irina Trubitsyna. Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols. ACM Trans. Comput. Log., 18(4), 2017. [doi]
@article{CalauttiGT17, title = {Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols}, author = {Marco Calautti and Sergio Greco and Irina Trubitsyna}, year = {2017}, doi = {10.1145/3143804}, url = {http://doi.acm.org/10.1145/3143804}, researchr = {https://researchr.org/publication/CalauttiGT17}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {18}, number = {4}, }