Model checking in CLP. (1999)

by G Delzanno, A Podelski
Venue:In TACAS 99: Tools and Algorithms for Construction and Analysis of Systems, LNCS 1579,