Kogelmann, Brian and Benjamin Ogden. “Enough and as Good: a Formal Model of Lockean First Appropriation,” American Journal of Political Science (2018)