Subsumption-stratified Datalog
Meskes, Michael
New York, NY : North-Holland (1998)
Journal Article
In: The journal of logic and algebraic programming
Volume: 36
Issue: 1
Page(s)/Article-Nr.: 55-90
Institutions
- [ama5]
- Department of Mathematics [110000]
Identifier
- DOI: 10.1016/S0743-1066(97)10007-3
- RWTH PUBLICATIONS: RWTH-CONV-087434