"Adding an Equivalence Relation to the Interval Logic ABB: Complexity and ..."

Angelo Montanari, Pietro Sala (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics