Mecanismos de Suporte à Execução Concorrente de Programas em LógicaJoão M. LourençoPosted Jan 1, 1994 Cite Link