@STRING{spv = "Springer"}
@STRING{lncs = "LNCS"}
@InProceedings{princess08,
author = {Philipp R{\"u}mmer},
title = {A Constraint Sequent Calculus for First-Order Logic with
Linear Integer Arithmetic},
booktitle = {Proceedings, 15th International Conference on Logic
for Programming, Artificial Intelligence and
Reasoning},
year = 2008,
volume = {5330},
pages = {274-289},
isbn = {978-3-540-89438-4},
series = lncs,
publisher = spv
}