Decision Procedure for Propositional Autoepistemic Logic