@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},
}