OpenAlex
Axiomatizing weak simulation semantics over BCCSP
Work