Title: Parallelism in logic
Subjects: Logic programming, Parallel processing (Electronic computers), Logic, symbolic and mathematical