Revision history for entry Crosilla, Laura; Cantini, Andrea: Conservativity of Transitive Closure over we.. [CROCOT-10]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-10-14T09:57:52update
2019-10-14T09:57:52update
2019-10-14T09:57:51update
2019-10-14T09:57:51update
2019-10-14T09:57:51update
2019-10-14T09:49:12update
2018-09-20T12:25:02update
2018-09-20T09:14:53update
2018-09-20T09:14:34add