Chor Sang Kwok, Marek J. Sergot
Implicit Definition of Logic Programs
ICLP, 1988.
@inproceedings{JICSCP-1988-KwokS88,
author = "Chor Sang Kwok and Marek J. Sergot",
booktitle = "{Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes}",
isbn = "0-262-61056-6",
pages = "374--385",
publisher = "{MIT Press}",
title = "{Implicit Definition of Logic Programs}",
year = 1988,
}