TY  - RPRT
TI  - Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF
AU  - F. Ferrarotti
AU  - W. Ren
AU  - J. M. Turull Torres
PY  - 2013
UR  - https://arxiv.org/abs/1302.5254
ID  - 1302.5254
ER  -