COMPUTABLE APPROXIMATIONS OF SEMICOMPUTABLE GRAPHS. - ČAČIĆ, VEDRAN; ČELAR, MATEA; HORVAT, MARKO; ILJAZOVIĆ, ZVONKO (Logical Methods in Computer Science (LMCS), 2026)