Parallel logic programming in PARLOG : Language and its implementation - Gregory Steve (England Addison-Wesley, 1987)
Keywords: Computer science