http://dblp.rkbexplorer.com/id/journals/entcs/http://dblp.l3s.de/d2r/resource/publications/journals/iandc/

used by 0: