"Editorial."

Nikolaj Bjørner, Frank S. de Boer, Andrew Butterfield (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics