Recursive Query Answering with Non-Horn Clauses.

Shan Chi, Lawrence J. Henschen

Browse the full CADE paper archive.