Youji Kohda Jiro Tanaka Deriving a Compilation Method for Parallel Logic Languages. 80-94 1987 conf/lp/1987 LP db/conf/lp/lp87.html#KohdaT87 http://dx.doi.org/10.1007/3-540-19426-6_6