A feature-based constraint system for logic programming with entailment (1994)

by H At-Kaci, A Podelski, G Smolka
Venue:Theoretical Computer Science