Katsushi Inoue Itsuo Takanami Hiroshi Taniguchi 37-46 conf/stoc/STOC14 1982 STOC db/conf/stoc/stoc82.html#InoueTT82