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: http://147.213.75.17/ojs/index.php/cai/article/view/587 (Accessed: 8 November 2024).