Semantical Equivalences of (Non-Classical) Logic Programs. - Aïda Batarekh; V. S. Subrahmanian (ICLP/SLP, 1988)

Convergence Issues and Fixed Points of Non-Monotone Maps. - Aïda Batarekh (NACLP, 1989)

The Query Topology in Logic Programming. - Aïda Batarekh; V. S. Subrahmanian (STACS, 1989)

Fixpoint Techniques for Non-Monotone Maps. - Aïda Batarekh (ALP, 1990)

Specification of expert systems. - Aïda Batarekh; Alun D. Preece; Anne Bennett; Peter Grogono (TAI, 1990)

The harmonium and decision problems. - Sami Khuri; Aïda Batarekh (IJCNN, 1990)

A binary decision algorithm. - Sami Khuri; Aïda Batarekh (Inf. Sci., 1991)

Principles and practice in verifying rule-based systems. - Alun D. Preece; Rajjan Shinghal; Aïda Batarekh (Knowl. Eng. Rev., 1992)