Regimantas Pliuskevicius Aida Pliuskeviciene Decision Procedure for Temporal Logic of Belief and Actions. 379-398 2004 15 Informatica, Lith. Acad. Sci. 3 http://www.vtex.lt/informatica/htm/INFO544.htm db/journals/informaticaLT/informaticaLT15.html#PliuskeviciusP04