M. Bieliková and P. Návrat, “A Prolog Technique of Implementing Search of A/O Graphs with Constraints”, Comput. Inform., vol. 16, no. 4, pp. 377–400, Mar. 2012.