TY  - RPRT
TI  - URSA: A System for Uniform Reduction to SAT
AU  - Predrag Janicic
PY  - 2012
DO  - 10.2168/lmcs-8(3:30)2012
UR  - https://arxiv.org/abs/1012.1255
ID  - 1012.1255
ER  -