SCIENCE OF COMPUTER PROGRAMMING, vol. 233, 2024-03
SCIENCE OF COMPUTER PROGRAMMING, vol. 99, page. 193 - 234, 2015-03-07
SCIENCE OF COMPUTER PROGRAMMING, vol. 77, no. 12, page. 1235 - 1271, 2012-10-01