Hirofumi Katsuno When Do Non-Conflict-Free Multivalued Dependency Dets Appear? 87-92 1984 18 Inf. Process. Lett. 2 db/journals/ipl/ipl18.html#Katsuno84