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