Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations. - Qipeng Kuang; Václav Kula; Ondrej Kuzelka; Yuanhong Wang; Yuyi Wang 001 (CoRR, 2025)