Procedural Interpretation of Non-Horn Logic Programs.

Jack Minker, Arcot Rajasekar

Browse the full CADE paper archive.