Bieliková, M. and Návrat, P. 2012. A Prolog Technique of Implementing Search of A/O Graphs with Constraints. Computing and Informatics. 16, 4 (Mar. 2012), 377–400.