"Analysing and Comparing Encodability Criteria."

Kirstin Peters, Rob J. van Glabbeek (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics