Johan Bevemyr Thomas Lindgren Håkan Millroth Exploiting Recursion-Parallelism in Prolog. 279-290 1993 conf/parle/1993 PARLE db/conf/parle/parle93.html#BevemyrLM93 http://dx.doi.org/10.1007/3-540-56891-3_22