The Aurora Or-parallel Prolog System (1988)

by E LUSK, R BUTLER, T DISZ, R OLSON, R STEVENS, D H D WARREN, A CALDERWOOD, P SZEREDI, P BRAND, M CARLSSON, A CIEPIELEWSKI, B HAUSMAN, S HARIDI
Venue:New Generation Computing