Semantics for Prolog with Cut - Revisited.

Jael Kriener, Andy King

Browse the full FLOPS paper archive.