@正在进行{DBLP:conf/spin/OortwijnDP17，author={Wytse Oortwijn和Tom van Dijk以及Jaco van de Pol}，title={符号可达性的分布式二进制决策图}，booktitle={{SPIN}}，页数={21--30}，publisher={{ACM}}，年份={2017年}}