Composing decision procedures: the approach and a case study.

Mauro Di Manzo Paolo Pecchiari Composing decision procedures: the approach and a case study. 175-186 1995 conf/aiia/1995 AI*IA db/conf/aiia/aiia1995.html#ManzoP95