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

Cached

Download Links

by Hassan Aït-Kaci , Andreas Podelski
Venue:In Proceedings of the Fourth International Conferenceon Logic Programmingand Automated Reasoning, Andrei Voronkov
Citations:6 - 3 self