M. A. Nait Abdallah
Heuristic Logic and the Process of Discovery
ICLP, 1988.
@inproceedings{JICSCP-1988-Abdallah88,
author = "M. A. Nait Abdallah",
booktitle = "{Proceedings of the Joint International Fifth Conference and Symposium on Logic Programming, 2 Volumes}",
isbn = "0-262-61056-6",
pages = "859--875",
publisher = "{MIT Press}",
title = "{Heuristic Logic and the Process of Discovery}",
year = 1988,
}