All-Instances Restricted Chase Termination.

Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris

Browse the full PODS paper archive.