Decision Algorithms for Checking Definability of Order-2 Finitary PCF. - Sadaaki Kawata; Kazuyuki Asada; Naoki Kobayashi 001 (APLAS, 2015)