(1)
Thielscher, M. Filtering With Logic Programs and Its Application to General Game Playing. AAAI 2013, 27, 890-896.