Kazuhiro Fuchi Towards a new Step of Logic Paradigm. 3 1989 DOOD db/conf/dood/dood89.html#Fuchi89