@ARTICLE{
author={Janicic Predrag,Bundy Alan},
year={2007},
title={Automatic synthesis of decision procedures: A case study of ground and linear arithmetic},
journal={Towards Mechanized Mathematical Assistants},
volume={4573},
number={},
pages={80-93},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Janicic Predrag,Bundy Alan},
year={2002},
title={A general setting for flexibly combining and augmenting decision procedures},
journal={JOURNAL OF AUTOMATED REASONING},
volume={28},
number={3},
pages={257-305},
document_type={Article},
}