A certified polynomial-based decision procedure for propositional logic

TitleA certified polynomial-based decision procedure for propositional logic
Publication TypeConference Proceedings
Year of Conference2001
AuthorsMedina-Bulo, I, Palomo-Lozano, F, Alonso-Jiménez, JA
Conference NameProceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOL 2001), Edinburgh (Scotland)
VolumeLNCS 2152
Pagination297-312