TY  - RPRT
TI  - A HOL theory for voting
AU  - Miner, Paul S.
AU  - Caldwell, James L.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910008262
ID  - 19910008262
ER  -