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