@article{Hooker88,
author = "J. N. Hooker",
journal = "Decision Support Systems",
keywords = "contraintes, logique propositionnelle, PL, PL01",
number = "4",
pages = "45-69",
title = "{A} {Q}uantitative {A}pproach to {L}ogical {I}nference",
volume = "1",
year = "1988",
}