Tie-Cheng Wang A Typed Resolution Principle for Deduction with Conditional Typing Theory. 161-194 1995 75 Artif. Intell. 2 db/journals/ai/ai75.html#Wang95 http://dx.doi.org/10.1016/0004-3702(94)00027-X