Conference Proceedings

A CHARACTERIZATION OF NON-FLOUNDERING LOGIC PROGRAMS

K MARRIOTT, H SONDERGAARD, P DART, S DEBRAY (ed.), M HERMENEGILDO (ed.)

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