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.