A feature-based constraint system for logic programming with entailment

Hassan Aït-Kaci, Andreas Podelski & Gert Smolka
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.