http://irit.rkbexplorer.com/id/http://drops.dagstuhl.de/opus/volltexte/2006/675/pdf/

used by 1: