The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally

@inproceedings{Podelski1993TheBA,
  title={The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally},
  author={Andreas Podelski and Peter Van Roy},
  booktitle={ICLP Workshop on Concurrent Constraint Programming},
  year={1993}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…