Sahlin, Franzen, and Haridi, "An Intuitionistic Predicate Logic Theorem Prover", SICS report. Journal of Logic and Computation 1989

Languages mentioned

• FT {1989}