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