| |
| 1991 | ||
|---|---|---|
| 5 | EE | Sami Khuri, Aïda Batarekh: A binary decision algorithm. Inf. Sci. 53(3): 251-270 (1991) |
| 1990 | ||
| 4 | Aïda Batarekh: Fixpoint Techniques for Non-Monotone Maps. ALP 1990: 132-143 | |
| 1989 | ||
| 3 | Aïda Batarekh: Convergence Issues and Fixed Points of Non-Monotone Maps. NACLP 1989: 257-273 | |
| 2 | Aïda Batarekh, V. S. Subrahmanian: The Query Topology in Logic Programming. STACS 1989: 375-387 | |
| 1988 | ||
| 1 | Aïda Batarekh, V. S. Subrahmanian: Semantical Equivalences of (Non-Classical) Logic Programs. ICLP/SLP 1988: 960-977 | |
| 1 | Sami Khuri | [5] |
| 2 | V. S. Subrahmanian | [1] [2] |