Giancarlo Succi Joy Marino Alberto Baudino Antonio Durante The Compilation of a Set-Based Logic Language for Generic Parallel Machines. 16-19 1994 WLP db/conf/wlp/wlp94.html#SucciMBD94