Parlog: Parallel programming in logic, (1986)

by K L Clark, S Gregory
Venue:ACM Trans. Program. Language Systems