http://irit.rkbexplorer.com/id/http://www.irit.fr/recherches/RPDMP/persos/JeromeLang/papers/

used by 1: