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 14 October 2019]. Available from: https://publications.waset.org/pdf/15050.