S. Keren, A. Gal, and E. Karpas, “Strong Stubborn Sets for Efficient Goal Recognition Design”, ICAPS, vol. 28, no. 1, pp. 141-149, Jun. 2018.