http://dblp.rkbexplorer.com/id/conf/cav/http://arxiv.org/abs/cs.LO/

used by 0: