RT DK A1 이영규 T1 On BCK-algebra