http://irit.rkbexplorer.com/id/http://cs.dixsous.org/paper/

used by 1: