Michael W. Hicks Jonathan T. Moore Scott Nettles Compiling PLAN to SNAP. 134-151 2001 conf/iwan/2001 IWAN https://doi.org/10.1007/3-540-45451-9_9 db/conf/iwan/iwan2001.html#HicksMN01