Bisimulations and bisimulation games between Verbrugge models. - Sebastijan Horvat; Tin Perkov; Mladen Vukovic (Math. Log. Q., 2023)

Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku ; Bisimulations and bisimulation games for Verbrugge semantics. - Sebastijan Horvat (2024)