All-Instances Restricted Chase Termination for Linear TGDs

Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris. All-Instances Restricted Chase Termination for Linear TGDs. KI, 34(4):465-473, 2020. [doi]

Abstract

Abstract is missing.