Sato, M., "Quty: A Concurrent Language Based on Logic and Function", Proceedings of the Fourth International Conference on Logic Programming, The MIT Press, 1987

(1987)

Languages mentioned