http://irit.rkbexplorer.com/id/http://ilps.science.uva.nl/SSCS2008/Proceedings/

used by 1: