Pavlos Peppas;Wayne Wobcke
-;-
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae