Onet, Adrian Constantin (2012) The chase procedure and its applications. PhD thesis, Concordia University.