Meyer, Robert2015-12-132015-12-13140200141Xhttp://hdl.handle.net/1885/71109Improved Decision Procedures for Pure Relevant Logic20012015-12-11