Multi-Prolog: Definition, Operational Semantics and Implementations. Proc. of the 10th Int. Conf. on Logic Programming, 6/1993, pp. 299-313, Budapest, 1993.

http://ift.tt/2pd4CH8