Sachio Hirokawa The Relevance Graph of a BCK-Formula. 269-285 1993 3 J. Log. Comput. 3 db/journals/logcom/logcom3.html#Hirokawa93