Bart Massey Evan Tick The Diadora Principle: Efficient Execution of Concurrent Logic and Related Languages. 396-404 1994 HICSS (2) db/conf/hicss/hicss1994-2.html#MasseyT94