TY  - JOUR
AU  - Hooker, J. N.
PY  - 1988//
TI  - A Quantitative Approach to Logical Inference
JO  - Decision Support Systems
SP  - 45
EP  - 69
VL  - 1
IS  - 4
KW  - contraintes, logique propositionnelle, PL, PL01
ID  - Hooker88
ER  -