Open Science Research Excellence
Miura, K. , Akama, K. , Mabuchi, H.. "Generating Speq Rules based on Automatic Proof of Logical Equivalence". World Academy of Science, Engineering and Technology, International Science Index 21, International Journal of Computer, Electrical, Automation, Control and Information Engineering (2008), 2(9), 3097 - 3105.