http://irit.rkbexplorer.com/id/http://www-sop.inria.fr/acacia/afia2005/actes/

used by 1: