Converging to the Chase - A Tool for Finite Controllability.

Tomasz Gogacz, Jerzy Marcinkowski

Browse the full LICS paper archive.