Towards "Propagation = Logic + Control".

Sebastian Brand, Roland H. C. Yap

Browse the full ICLP paper archive.