Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Kriener, Jael
King, Andy
and
Blazy, Sandrine
2013.
Proofs you can believe in.
p.
37.
Published online by Cambridge University Press: 04 March 2011
The paper presents a simple and concise proof of correctness of the magic transformation. We believe that it may provide a useful example of formal reasoning about logic programs. The correctness property concerns the declarative semantics. The proof, however, refers to the operational semantics (LD-resolution) of the source programs. Its conciseness is due to applying a suitable proof method.