Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris. All-Instances Restricted Chase Termination for Linear TGDs. KI, 34(4):465-473, 2020. [doi]
@article{GogaczMP20-0, title = {All-Instances Restricted Chase Termination for Linear TGDs}, author = {Tomasz Gogacz and Jerzy Marcinkowski and Andreas Pieris}, year = {2020}, doi = {10.1007/s13218-020-00690-7}, url = {https://doi.org/10.1007/s13218-020-00690-7}, researchr = {https://researchr.org/publication/GogaczMP20-0}, cites = {0}, citedby = {0}, journal = {KI}, volume = {34}, number = {4}, pages = {465-473}, }