Electronic Notes in Theoretical Computer Science, vol. 290, page. 19 - 36, 2012-12
SCIENCE OF COMPUTER PROGRAMMING, vol. 77, no. 12, page. 1235 - 1271, 2012-10-01