The generalized supplementary magic-sets transformation for stratified datalog

Meskes, M.; Noack, J.

Amsterdam [u.a.] / Elsevier (1993) [Journal Article]

Information processing letters
Volume: 47
Page(s): 31-41

Identifier

  • REPORT NUMBER: RWTH-CONV-055784