Journal article

BOTTOM-UP DATA-FLOW ANALYSIS OF NORMAL LOGIC PROGRAMS

K MARRIOTT, H SONDERGAARD

The Journal of Logic Programming | ELSEVIER SCIENCE INC | Published : 1992