Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença - Vieira, Thiago Coelho (2015)