@inproceedings{JDR0,
title = {Sp{\'e}cification de mod{\`e}les de traces {\`a} l'aide d'une s{\'e}mantique par continuations },
author = {Jahier, Erwan and Ducass\'e, Mireille and Ridoux, Olivier},
year = {2000},
booktitle = {Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France},
pages = {67-84},
publisher = {Hermes},
team = {irisa/lande},
}
