Journal of Automated Reasoning, vol. 52, no. 2, page. 215 - 239, 2014-02
SIGPLAN Notices, vol. 49, no. 1, page. 477 - 490, 2014-01
Acta Informatica, vol. 50, no. 7-8, page. 359 - 380, 2013-12
ACM SIGPLAN NOTICES, vol. 48, no. 1, page. 219 - 231, 2013-01
IEEE Transactions on Knowledge and Data Engineering, vol. 24, no. 12, page. 2113 - 2126, 2012-12
INFORMATION SCIENCES, vol. 188, page. 151 - 169, 2012-04-01
INFORMATION AND COMPUTATION, vol. 209, no. 12, page. 1519 - 1535, 2011-12
INFORMATION SYSTEMS, vol. 36, no. 4, page. 808 - 823, 2011-06
JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 21, page. 21 - 58, 2011-01
JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 19, page. 107 - 142, 2009-01
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 31, no. 1, 2008-12
ACM SIGPLAN NOTICES, vol. 42, no. 9, page. 191 - 202, 2007-09