Draft Papers
James Harland,
A Weak Intermediate Logic for Logic Programs,
submitted to the
Second International Joint Conference on Automated Reasoning (IJCAR), Cork, July, 2004.
Back to main page