Vol-1230⫷ Vol-1231 ⫸Vol-1232
urn:nbn:de:0074-1231-0


Vol-1231/long12⫷Vol-1231/long13⫸Vol-1231/long14
Marco PazzagliaAngelo MontanariPietro Sala

Adding two equivalence relations to the interval temporal logic AB