Marie Agier Jean-Marc Petit Notion de sémantiques bien-formées pour les règles. 19-30 2005 conf/f-egc/2005 EGC db/conf/f-egc/egc2005.html#AgierP05