PARLOG: Parallel Programming in Logic (1986)

by Keith Clark, Steve Gregory
Venue:ACM Transactions on Programming Languages and Systems