Antonikand Huth. On the Complexity of Semantic Self-minimization. Elsevier BV, 2009, doi:10.1016/j.entcs.2009.08.002.