Ching-Chi Hsu Shen-Tzay Huang A Distributed Model for the Interpretation of Concurrent Prolog. 73-85 1988 4 J. Inf. Sci. Eng. 1 http://www.iis.sinica.edu.tw/page/jise/1988/198808_05.html db/journals/jise/jise4.html#HsuH88