Antonio Brogi Paolo Ciancarini The Concurrent Language, Shared Prolog. 99-123 1991 13 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/114005.102807 db/journals/toplas/toplas13.html#BrogiC91