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

University of Melbourne Researchers

Harald Sondergaard Author Computing and Information Systems