Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method

Abstract
No abstract available

This publication has 11 references indexed in Scilit: