Sinot, François-Régis; Fernández, Maribel; Mackie, Ian (2003), "Efficient reductions with director strings", in Nieuwenhuis, Robert (ed.), Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9–11, 2003, Proceedings, Lecture Notes in Computer Science, vol. 2706, Springer, pp. 46–60, doi:10.1007/3-540-44881-0_5
