Simple Operational and Denotational Semantics for Prolog with Cut (1990)

by M Billaud
Venue:Theoretical Computer Science