The horn basis of a set of clauses

DOI10.1016/S0743-1066(97)00063-0zbMath0903.68029OpenAlexW1991403408MaRDI QIDQ3841098

Philippe Luquet, Jean-Jacques Hébrard

Publication date: 6 October 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(97)00063-0

zbMATH Keywords

Horn basisset of propositional clauses

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: The horn basis of a set of clauses