Weak-Strong Uniqueness for Navier-Stokes/Allen-Cahn system - Radim Hošek; Václav Mácha (2017)