R. Pereira, N. Oren, and F. Meneguzzi, “Landmark-Based Heuristics for Goal Recognition”, AAAI, vol. 31, no. 1, Feb. 2017.