A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.

Alan M. Frisch A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. 126-136 1989 KR db/conf/kr/kr89.html#Frisch89