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