Specifying prolog trace models with a continuation semantics (2000)

by Erwan Jahier, Mireille Ducass, Olivier Ridoux
Venue:In Lecture Notes in Computer Science: LOPSTR Selected Papers