TY  - RPRT
TI  - Logical Primes, Metavariables and Satisfiability
AU  - Bernd R. Schuh
PY  - 2009
UR  - https://arxiv.org/abs/0911.1677
ID  - 0911.1677
ER  -