Preface to the Special Issue of the Electronic Notes on Theoretical Computer Science devoted to the Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005)