Why and How in the ElipSys OR-parallel CLP System.

André Véron Kees Schuerman Mike Reeve Liang-Liang Li Why and How in the ElipSys OR-parallel CLP System. 291-303 1993 conf/parle/1993 PARLE db/conf/parle/parle93.html#VeronSRL93 http://dx.doi.org/10.1007/3-540-56891-3_23