A THEORY OF AUTOMATED MARKET MAKERS IN DEFI[J] LOGICAL METHODS IN COMPUTER SCIENCE 2022(18) Bartoletti, M. A. S. S. I. M. O. Chiang, James hsin-yu Lluch-lafuente, A. L. B. E. R. T. O.
