Return to Article Details
A completeness proof in full DDL
Download
Download PDF