Monte Carlo Evaluation of Forward−Backward Semiclassical Correlation Functions with a Quantized Coherent State Density