Kulicki, Piotr. 2013. “On Minimal Models for Pure Calculi of Names”. Logic and Logical Philosophy 22 (4):429-43. https://doi.org/10.12775/LLP.2013.023.