Keyword:maximal trace semantic

Publications
EasyChair Preprint 1645