A Distributed Prolog System with And Parallelism. - Mike Carlton; Peter Van Roy (IEEE Softw., 1988)