@doctoralThesis{Kazakov_2005,
title={Saturation-based decision procedures for extensions of the guarded fragment},
author={Kazakov, Yevgeny},
doi={http://dx.doi.org/10.22028/D291-25860},
year={2005}
}