Converging to the chase - A tool for finite controllability

Tomasz Gogacz, Jerzy Marcinkowski. Converging to the chase - A tool for finite controllability. J. Comput. Syst. Sci., 83(1):180-206, 2017. [doi]

Abstract

Abstract is missing.