Additional Citation Information Proceedings of FPT'2013, pg. 246 – 253 Kyoto, Japan Authors Christopher Lavin and Brent Nelson and Brad Hutchings View/Download FPT_13_B112.pdf Year 2013