Sanner, S.; Kersting, K. Symbolic Dynamic Programming for First-Order POMDPs. AAAI 2010, 24, 1140-1146.