TY  - RPRT
TI  - Computing finite models using free Boolean generators
AU  - Zarko Mijajlovic
AU  - Aleksandar Pejovic
PY  - 2013
UR  - https://arxiv.org/abs/1310.6978
ID  - 1310.6978
ER  -