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

Alan M. Frisch

Browse the full KR paper archive.