"On Positive TAGED with a Bounded Number of Constraints."

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics