Gasquet, O., D. Longin, F. Maris, P. R´egnier, and M. Valais. “Compact Tree Encodings for Planning As QBF”. Inteligencia Artificial, vol. 21, no. 62, Oct. 2018, pp. 103-1, doi:10.4114/intartif.vol21iss62pp103-113.