Solving a Problem in Relevance Logic with an Automated Theorem Prover.

Hans Jrgen Ohlbach, Graham Wrightson

Browse the full CADE paper archive.