Serguei A. Mokhov Joey Paquet Mourad Debbabi Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid http://arxiv.org/abs/0906.0049 2009 CoRR abs/0906.0049 db/journals/corr/corr0906.html#abs-0906-0049 informal publication