"Modular Reasoning in the Presence of Event Subtyping."

Mehdi Bagherzadeh et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics