Y. Zhu, “Tools for Preference Reasoning”, AAAI, vol. 27, no. 1, pp. 1686-1687, Jun. 2013.