Tilbage til artikeldetaljer A Denotational Semantics for Logic Programming Download Download PDF