Serguei A. Mokhov, Joey Paquet, Mourad Debbabi. Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. In Joseph S. Gauthier, editor, The Huntsville Simulation Conference - HSC 2009, Huntsville, AL, USA, October 27-29, 2009. Proceedings. pages 326-333, The Society for Modeling and Simulation International (SCS), 2009.
Abstract is missing.