"Softening Gcc and Regular with preferences."

Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics