Conference Proceedings

On propagation-based analysis of logic programs

H SONDERGAARD, K Marriott, S Michaylov (ed.), W Winsborough (ed.)

Association for Logic Programming | Published : 1993