Liang-Liang Li Mike Reeve Kees Schuerman André Véron Jacques Bellone Claudine Pradelles Angelos Kolokouris Takis Stamatopoulos Dominic A. Clark Christopher J. Rawlings Jack Shirazi Giuseppe Sardu Applause: Application & Assessment of Parallel Programming Using Logic. 756-759 1993 conf/parle/1993 PARLE db/conf/parle/parle93.html#LiRSVBPKSCRSS93 http://dx.doi.org/10.1007/3-540-56891-3_77