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. In Arndt Bode, Mike Reeve, Gottfried Wolf, editors, PARLE 93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings. Volume 694 of Lecture Notes in Computer Science, pages 756-759, Springer, 1993.
Abstract is missing.