The generalized supplementary magic-sets transformation for stratified datalog

Meskes, M.; Noack, J.

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

In: Information processing letters
Volume: 47
Page(s)/Article-Nr.: 31-41