Model checking in CLP (1999)

by G Delzanno, A Podelski
Venue:Proc. TACAS '99, LNCS 1579