The Aurora or-parallel Prolog system

Ewing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi. The Aurora or-parallel Prolog system. New Generation Comput., 7(2-3):243-271, 1990. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: