Primality testing of Woodall numbers. - Kazuki Azami; Shigenori Uchiyama (JSIAM Lett., 2014)