Tableaux for First Order Logic of Proofs - Meghdad Ghari (2016)