Shih, T. K., Keh, H. C. and Lin, Y. C. (2012) “A VDM approach to continuation-based semantics of Prolog”, COMPUTING AND INFORMATICS, 18(5), pp. 485–508. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/587 (Accessed: 28 April 2024).