Mauro Di Manzo Enrico Giunchiglia Alessandro Armando Paolo Pecchiari Proving Formulas through Reduction to Decidable Classes. 1-10 1993 conf/aiia/1993 AI*IA db/conf/aiia/aiia1993.html#ManzoGAP93