Conference Proceedings

On propagation-based analysis of logic programs

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

Proceedings of the ILPS 93 Workshop on Global Compilation | Association for Logic Programming | Published : 1993

University of Melbourne Researchers