@article{BSL42_3-4_Schwartz_Tourlakis,
author = {Yehuda SCHWARTZ and George TOURLAKIS},
title = {A Proof Theoretic Tool for First-Order Modal Logic},
journal = {Bulletin of the Section of Logic},
volume = {42},
number = {3--4},
year = {2013},
pages = {93--110}
}