Mechanizing Relevant Logics with HOL. - Hajime Sawamura; Daisaku Asanuma (TPHOLs, 1998)