Guarded horn clause languages: are they deductive and logical?
By Carl Hewitt and Gul Agha. In FGCS, 650–657. 1988.
BibTeX
@inproceedings{conf/fgcs/HewittA88,
author = "Hewitt, Carl and Agha, Gul",
title = "Guarded Horn Clause Languages: Are They Deductive and
Logical?",
booktitle = "FGCS",
pages = "650-657",
year = "1988",
}