CITATION STYLE
Dershowitz, N. (1991). Canonical sets of horn clauses. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 510 LNCS, pp. 267–278). Springer Verlag. https://doi.org/10.1007/3-540-54233-7_140
Mendeley helps you to discover research relevant for your work.