,
MIT Press (Cambridge, MA)
Logic Programming
International Logic Programming Conference,
Computer Security

de Boer, F., Kok, J., Palamidessi, C.& Rutten, J. (1989). Semantic models for a version of PARLOG. Logic Programming, 621–636.