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 APA Style APA-ALL Style AAA 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. Lecture Notes in Computer Science, 281–297.https://doi.org/10.1007/3-540-54430-5_95

Publication