G. Robles, J. M. Méndez, and F. Salto, “A modal restriction of R-Mingle with the variable-sharing property”, LLP, vol. 19, no. 4, pp. 341–351, Dec. 2010.