Kulicki, P. “On Minimal Models for Pure Calculi of Names”. Logic and Logical Philosophy, vol. 22, no. 4, Aug. 2013, pp. 429-43, doi:10.12775/LLP.2013.023.