In the phase-space formulation of QM over continuous variables, how can I determine the probability of obtaining a particular measurement outcome $m$ in the following setting.
Given a quantum state $\rho$ described by the Wigner function $W_{\rho}(q,p)$, one measures the observable $\hat{p}$. What is the probability of obtaining a particular outcome $m\in\mathbb{R}$? I know that in standard QM I need to calculate $$\text{Tr }(\rho \; |m\rangle _p\langle m |)$$ and I have found that such expectation values, in phase space formulation, are usually computed via $$\text{Tr }(\rho A)=\int dq dp W_{\rho}(q,p)A(q,p)$$ where $\hat{A}$ is some observable expressed as a combintation of $\hat{q}$ and $\hat{p}$.
Once this easy quadrature measurement is clarified, I would also like to understand partial measurements, i.e. let $W(q_1,p_1,q_2,p_2)$ be the input state, then what is probability of outcome $m$ when measuring $\hat{p}$ only on the first mode.
Note, I am new to the phase-space formulation. Thus, I would also appreciate a good reference where I could simply read up on this.