Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture.

Stphane Graham-Lengrand

Browse the full TABLEAUX paper archive.