Mitsunori Wada Yukihiro Morita Haruaki Yamazaki Souji Yamashita Nobuyoshi Miyazaki Hidenori Itoh A Superimposed Code Scheme for Deductive Databases. 571-584 1987 IWDM db/conf/iwdm/iwdm87.html#WadaMYYMI87