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]