Entailment and Disentailment of Order-Sorted Feature Constraints (1993)

by H Aı̈t-Kaci, A Podelski
Venue:4th International Conference on Logic Programming and Automated Reasoning, LNAI 698