Tie-Cheng Wang. A Typed Resolution Principle for Deduction with Conditional Typing Theory. Artificial Intelligence, 75(2):161-194, 1995. [doi]
@article{Wang95:1, title = {A Typed Resolution Principle for Deduction with Conditional Typing Theory}, author = {Tie-Cheng Wang}, year = {1995}, doi = {10.1016/0004-3702(94)00027-X}, url = {http://dx.doi.org/10.1016/0004-3702(94)00027-X}, tags = {type theory}, researchr = {https://researchr.org/publication/Wang95%3A1}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {75}, number = {2}, pages = {161-194}, }