The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally.
Andreas Podelski, Peter Van Roy
VenueBICLP
Year1993
ProceedingsICLP Workshop on Concurrent Constraint Programming
DBLP recordconf/iclp/PodelskiR93 ↗
Browse the full ICLP paper archive.