Combining Logic and Control to Characterize Global Invariants for Prolog Programs (1994)

by L Colussi, E Marchiori, M Marchiori
Venue:CWI Report, The