Bieliková, M. and Návrat, P. (2012) “A Prolog Technique of Implementing Search of A/O Graphs with Constraints”, Computing and Informatics, 16(4), pp. 377–400. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/654 (Accessed: 2 May 2025).