A Parallel Logic Programming System Based on Strong and Precise Modes (1989)

by Z Somogyi