Delta-Prolog: A Distributed Logic Programming Language. - Luís Moniz Pereira; Roger Nasr (FGCS, 1984)

A KWIC (Key Word in Context) Bibliography on Prolog and Logic Programming. - Michael D. Poe; Roger Nasr; Janett Potter; Janet Slinn (J. Log. Program., 1984)

Integrating Data Type Inheritance into Logic Programming. - Hassan Aït-Kaci; Roger Nasr (Data Types and Persistence (Appin), 1985)

Logic and Inheritance. - Hassan Aït-Kaci; Roger Nasr (POPL, 1986)

LOGIN: A Logic Programming Language with Built-In Inheritance. - Hassan Aït-Kaci; Roger Nasr (J. Log. Program., 1986)

Le Fun: Logic, Equations and Functions. - Hassan Aït-Kaci; Patrick Lincoln; Roger Nasr (SLP, 1987)

Embedding Psi-Terms in a Horn-Clause Logic Language. - Catriel Beeri; Roger Nasr; Shalom Tsur (JCDKB, 1988)

BABEL: A Base for an Experimental Library. - Hassan Aït-Kaci; Roger Nasr; Jungyun Seo (SIGIR, 1988)

Integrating Logic and Functional Programming. - Hassan Aït-Kaci; Roger Nasr (LISP Symb. Comput., 1989)

Efficient Implementation of Lattice Operations. - Hassan Aït-Kaci; Robert S. Boyer; Patrick Lincoln; Roger Nasr (ACM Trans. Program. Lang. Syst., 1989)

Implementing a knowledge-based library information system with typed horn logic. - Hassan Aït-Kaci; Roger Nasr; Jungyun Seo (Inf. Process. Manag., 1990)