All-Instances Restricted Chase Termination for Linear TGDs
Crossref DOI link: https://doi.org/10.1007/s13218-020-00690-7
Published Online: 2020-09-26
Published Print: 2020-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gogacz, Tomasz
Marcinkowski, Jerzy
Pieris, Andreas
Text and Data Mining valid from 2020-09-26
Version of Record valid from 2020-09-26
Article History
Received: 6 March 2020
Accepted: 2 September 2020
First Online: 26 September 2020