Taisuke Sato Sumitaka Akiba Inductive Resolution. 101-110 1993 conf/alt/1993 ALT db/conf/alt/alt1993.html#SatoA93