ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC. - ITO, SOHEI; TATSUTA, MAKOTO (Logical Methods in Computer Science (LMCS), 2026)