TITLE     : A sound and complete refinement relation for non-reducible modal transition systems
AUTHOR(S) : Basile D
TYPE      : Other
YEAR      : 2023
CODE      : 487359

*** DO NOT EDIT THIS FILE ***