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
Journal article
K MARRIOTT, H SONDERGAARD
The Journal of Logic Programming | ELSEVIER SCIENCE INC | Published : 1992