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, }