@inproceedings{JDR00b,
title = { Specifying Prolog Trace Models with a Continuation Semantics },
author = {Jahier, Erwan and Ducass\'e, Mireille and Ridoux, Olivier},
year = {2000},
booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers},
pages = {165-182},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2042},
team = {irisa/lande},
}