Set-based failure analysis for logic programs and concurrent constraint programs (1999)

by A Podelski, W Charatonik, M Muller
Venue:Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, volume 1576 of LNCS