Logic Programming: Proc. 5th Int. Conf. and Symposium, R.A. Kowalski, and K.A. Bowen (eds.), Seattle, Washington

(1988)