TY  - RPRT
TI  - Second-Order Propositional Satisfiability
AU  - Cristina David
AU  - Daniel Kroening
AU  - Matt Lewis
PY  - 2015
UR  - https://arxiv.org/abs/1409.4925
ID  - 1409.4925
ER  -