Access Program to Minimize Redundant Refutations on the Network Database System. - Makoto Takizawa 001; Motoshi Katsumata; Shinichi Nagahora (LP, 1988)