Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming
Lecture notes in computer science. Bd. 1216. Berlin: Springer 1997
Erscheinungsjahr: 1997
ISBN/ISSN: 0302-9743
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Dix, J. (Autor)
Stolzenburg, F. (Autor)