Improving the Deductive System DES with Persistence by Using SQL DBMS's
The DLV System for Knowledge Representation and Reasoning