TY - JOUR T1 - The PBW Theorem and simplicity criteria for the Poisson enveloping algebra and the algebra of Poisson differential operators PY - -0001/11/30 AU - Bavula VV ED - Y2 - 2024/12/22 ER -