Parallel logic programming techniques by Taylor, Stephen | Menrva Books | MenrvaBooks