The Oleinik-Lax-type formulas for multi-time Hamilton-Jacobi equations - Van, Tran Duc.