Journées francophones de programmation en logique (04 ; 1995 ; Dijon) — 1 œuvres