Michael Gelfond, Alfredo Gabaldon
From Functional Specifications to Logic Programms
ICLP, 1997.
@inproceedings{ILPS-1997-GelfondG,
author = "Michael Gelfond and Alfredo Gabaldon",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-63180-6",
pages = "355--369",
publisher = "{MIT Press}",
title = "{From Functional Specifications to Logic Programms}",
year = 1997,
}