Sumio Morioka Yasunao Katayama Toshiyuki Yamane Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2<sup>m</sup>). 465-477 2001 conf/cav/2001 CAV http://link.springer.de/link/service/series/0558/bibs/2102/21020465.htm db/conf/cav/cav2001.html#MoriokaKY01