A Feature Constraint System for Logic Programming with Entailment (1992)

Cached

Download Links

by Hassan Aït-Kaci , Andreas Podelski , Gert Smolka
Venue:THEORETICAL COMPUTER SCIENCE
Citations:16 - 1 self