TY - JOUR AU - Meskes, M. AU - Noack, J. TI - The generalized supplementary magic-sets transformation for stratified datalog JO - Information processing letters VL - 47 SN - 0020-0190 CY - Amsterdam [u.a.] PB - Elsevier M1 - RWTH-CONV-055784 SP - 31-41 PY - 1993 LB - PUB:(DE-HGF)16 UR - https://publications.rwth-aachen.de/record/178813 ER -