TY  - RPRT
TI  - Boole's Method I. A Modern Version
AU  - Stanley Burris
AU  - H. P. Sankappanavar
PY  - 2014
UR  - https://arxiv.org/abs/1404.0784
ID  - 1404.0784
ER  -