OASys: an AND/OR parallel logic programming system

Ioannis P. Vlahavas, Petros Kefalas, Constantin Halatsis. OASys: an AND/OR parallel logic programming system. Parallel Computing, 25(3):321-336, 1999.

Abstract

Abstract is missing.