SCIENCE OF COMPUTER PROGRAMMING, vol. 233, 2024-03
SCIENCE OF COMPUTER PROGRAMMING, vol. 178, page. 20 - 42, 2019-06
SCIENCE OF COMPUTER PROGRAMMING, vol. 91, page. 3 - 44, 2014-10-01
SCIENCE OF COMPUTER PROGRAMMING, vol. 77, no. 12, page. 1235 - 1271, 2012-10-01