http://irit.rkbexplorer.com/id/http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-292/

used by 1: