Conference Proceedings

A CHARACTERIZATION OF NON-FLOUNDERING LOGIC PROGRAMS

K MARRIOTT, H SONDERGAARD, P DART, S DEBRAY, M HERMENEGILDO

LOGIC PROGRAMMING : PROCEEDINGS OF THE 1990 NORTH AMERICAN CONFERENCE | M I T PRESS | Published : 1990