A Type-Theoretic Approach to Resolution.

Peng Fu, Ekaterina Komendantskaya

Browse the full LOPSTR paper archive.