M. Thielscher, “Filtering With Logic Programs and Its Application to General Game Playing”, AAAI, vol. 27, no. 1, pp. 890-896, Jun. 2013.