S. Sanner and K. Kersting, “Symbolic Dynamic Programming for First-order POMDPs”, AAAI, vol. 24, no. 1, pp. 1140-1146, Jul. 2010.