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

used by 0: