Tarskian Set Constraints Are in NEXPTIME. - Pawel Mielniczuk; Leszek Pacholski (MFCS, 1998)

Basic theory of feature trees. - Pawel Mielniczuk (ACM Trans. Comput. Log., 2004)