Miura, K. , Akama, K. , Mabuchi, H. (2008), '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, 2(9), 3097 - 3105.