Lexical Logic Programs. - Yael Moscowitz; Ehud Shapiro (ICLP, 1991)

Communication with Directed Logic Variables. - Alon Kleinman; Yael Moscowitz; Amir Pnueli; Ehud Shapiro (POPL, 1991)

On the Structural Simplicity of Machines and Languages. - Yael Moscowitz; Ehud Shapiro (Ann. Math. Artif. Intell., 1995)