Citation Title: Substitution Structures Author: Andrew Bacon Year: 2019 Published in: Journal of Philosophical Logic Publisher: Springer Verlag