Wróć do szczegółów artykułu A completeness proof in full DDL Pobierz Pobierz PDF