TY  - RPRT
TI  - SAT Solving for Argument Filterings
AU  - Michael Codish
AU  - Peter Schneider-Kamp
AU  - Vitaly Lagoon
AU  - René Thiemann
AU  - Jürgen Giesl
PY  - 2006
UR  - https://arxiv.org/abs/cs/0605074
ID  - cs/0605074
ER  -