A Mechanized Proof Procedure for Free Intensional Logics.

Raymond D. Gumb

Browse the full IJCAI paper archive.