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
Quty
{1984}