Weaker D-Complete Logics | OUP Journals & Magazine | IEEE Xplore