"Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st ..."

Daniele Dell'Aglio et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics