A certified polynomial-based decision procedure for propositional logic

TitleA certified polynomial-based decision procedure for propositional logic
Publication TypeJournal Article
Year of Publication2001
AuthorsMedina-Bulo, I, Palomo-Lozano, F, Alonso-Jiménez, J-A
JournalLecture Notes in Computer Science
Volume2152
Start Page297
Pagination312