Bag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability. - Jerzy Marcinkowski; Mateusz Orda (Proc. ACM Manag. Data, 2024)