Specifying prolog trace models with a continuation semantics (2001)

by Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Venue:In International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR