The Aurora Or-Parallel Prolog System

Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman. The Aurora Or-Parallel Prolog System. In FGCS. pages 819-830, 1988.

Abstract

Abstract is missing.