Evan Tick Advanced Tutorial: Concurrent Logic Programming. 25 1992 JICSLP db/conf/iclp/iclp92.html#Tick92