Specifying Prolog trace models with a continuation semantics.

Erwan Jahier, Mireille Ducass, Olivier Ridoux

Browse the full LOPSTR paper archive.