LOCALIZED RETE FOR INCREMENTAL GRAPH QUERIES WITH NESTED GRAPH CONDITIONS. - BARKOWSKY, MATTHIAS; GIESE, HOLGER (Logical Methods in Computer Science (LMCS), 2026)