Extended Horn clauses: the framework and some semantics

Additional Metadata
MSC	Logic programming (msc 68N17), Logic in computer science (msc 03B70), Semantics (msc 68Q55), Artificial intelligence (msc 68Txx)
Publisher	Springer
Persistent URL	doi.org/10.1007/3-540-54430-5_95
Conference	International Conference on Concurrency Theory
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Jacquet, J.-M., & Monteiro, L. (1991). Extended Horn clauses: the framework and some semantics. In Lecture Notes in Computer Science (pp. 281–297). Springer. doi:10.1007/3-540-54430-5_95

Publication