http://dblp.rkbexplorer.com/id/journals/jilt/http://elj.warwick.ac.uk/jilt/00-3/

used by 0: