ChaseT: A Tool For Checking Chase Termination. - Andrea De Francesco; Francesca Spezzano; Irina Trubitsyna (SEBD, 2011)

ChaseT: A Tool for Checking Chase Termination. - Andrea De Francesco; Sergio Greco; Francesca Spezzano; Irina Trubitsyna (SUM, 2011)