https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-3471 https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-4181 https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-4231 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.03471.1 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.03471.2 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.03471.3 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.03471.4 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.03471.5 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04181.1 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04231.1 https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.346 https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.362 https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.400 https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.407