Journal of Automated Reasoning, vol. 52, no. 2, page. 215 - 239, 2014-02
SIGPLAN Notices, vol. 49, no. 1, page. 477 - 490, 2014-01