Louren{\c c}o, João Mecanismos de Suporte à Execu{\c c}ão Concorrente de Programas em Lógica. Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 1994.