Open Systems Laboratory at Illinois

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