"Proceedings of the First Workshop on Logics for Reasoning about ..."

Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics