Katsunori Miura and Kiyoshi Akama and Hiroshi Mabuchi, Generating Speq Rules based on Automatic Proof of Logical Equivalence. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. September 2008, vol. 21(9). 3097 - 3105 [viewed 25 April 2024]. Available from: https://publications.waset.org/pdf/15050.