Combining Logic and Control to Characterize Global Invariants of Prolog Programs.
Livio Colussi, Elena Marchiori, Massimo Marchiori
VenueBICLP
Year1994
ProceedingsICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
DBLP recordconf/iclp/ColussiMM94 ↗
Browse the full ICLP paper archive.