Kulicki, P. 2013. On minimal models for pure calculi of names. Logic and Logical Philosophy. 22, 4 (Aug. 2013), 429–443. DOI:https://doi.org/10.12775/LLP.2013.023.