Subsumption-stratified Datalog

Meskes, Michael

New York, NY / North-Holland (1998) [Journal Article]

The journal of logic and algebraic programming
Volume: 36
Issue: 1
Page(s): 55-90

Identifier