M. Balaban and S. E. Shimony, “Structured plans with sharing and replication”, Comput. Inform., vol. 17, no. 4, pp. 257–292, Mar. 2012.