Fundamenta Informaticae, vol. 192, no. 3-4, page. 261 - 312, 2024-09
SCIENCE OF COMPUTER PROGRAMMING, vol. 233, 2024-03
SCIENCE OF COMPUTER PROGRAMMING, vol. 103, page. 13 - 50, 2015-06-01