Monteiro, L., Distributed Logic: A Theory of Distributed Programming in Logic, Dep. Inform,~dca, Universidade Nova de Lisboa, Internal Report, Abril 1986.

(1986)

Languages mentioned