1. M. Belmesk, Z. Habbas and P. Jorrand A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. In B. Fronhofer and G. Wrighston. Parallelization of inference Systems. LNAI 590. Springer-Verlag. 1990.
2. N. Carriero and D. Gelernter, Linda in Context, CACM, 32(4):444–458, Apr 1989.
3. P. Ciancarini Coordinating Rule-Based Software Processes with ESP, ACM Trans. on Software Engineering and Methodology, 2(3):203–227, July, 1993.
4. M. J. C. Gordon and T. F. Melham, Introduction to HOL: A Theorem Proving Environment for Higher-Order Logic. Cambridge University Press, 1993.
5. A. C. Kakas, R. A. Kowalski and F. Toni, The role of abduction in logic programming. Handbook of Logic in AI and Logic Programming, 5:235–324, Oxford University Press, 1998.