1. On Logic Program Semantics with Two Kinds of Negation;Alferes;Proceedings of the Joint International Conference and Symposium on Logic Programming,1992
2. Acyclic Programs;Apt,1990
3. Arithmetic Classification of Perfect Models of Stratified Programs;Apt;Conference and Symposium on Logic Programming,1988
4. Towards a Theory of Declarative Knowledge;Apt,1988
5. Issues in Knowledge Representation: Semantics and Knowledge Combination;Baral,1991