https://csp2023fp.syskonf.pl/fullpaper