Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. - Stella Zwecker; Guy Juanole; Omar Amyay (SPLT, 1990)

An Epistemic Logic Based Synthesis of Communication Services and Protocols. - Omar Amyay; Guy Juanole; Stella Zwecker (ICDCS, 1992)