Aïda Batarekh, V. S. Subrahmanian
Semantical Equivalences of (Non-Classical) Logic Programs
ICLP, 1988.
@inproceedings{JICSCP-1988-BatarekhS88,
author = "Aïda Batarekh and V. S. Subrahmanian",
booktitle = "{Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes}",
isbn = "0-262-61056-6",
pages = "960--977",
publisher = "{MIT Press}",
title = "{Semantical Equivalences of (Non-Classical) Logic Programs}",
year = 1988,
}











