solving for argument filterings (2006)

by M Codish, P Schneider-Kamp, V Lagoon, R Thiemann, J SAT Giesl
Venue:In: Proc. 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LNAI