Hassan Aït-Kaci, Andreas Podelski, Gert Smolka. A Feature-Based Constraint System for Logic Programming with Entailment. In FGCS. pages 1012-1021, 1992.
@inproceedings{Ait-KaciPS92,
title = {A Feature-Based Constraint System for Logic Programming with Entailment},
author = {Hassan Aït-Kaci and Andreas Podelski and Gert Smolka},
year = {1992},
tags = {object-oriented programming, rule-based, constraints, logic programming, programming, logic, feature-oriented programming},
researchr = {https://researchr.org/publication/Ait-KaciPS92},
cites = {0},
citedby = {0},
pages = {1012-1021},
booktitle = {FGCS},
}