Bieliková, M.; Návrat, P. A Prolog Technique of Implementing Search of A O Graphs With Constraints. Comput. Inform. 2012, 16, 377-400.