参照の解決

文書 $d$ の中に書かれた参照の文字列 $r$ に対し、鍵 $\mathrm{key}(d, r)$ を次で定める。

• $r$ が記号 # を含まないとき、$\mathrm{key}(d, r) = (d, r)$（同じ文書の中の名前）。
• $r$ が # を含むとき、最初の # の前を $d'$、後ろを $\iota'$ として $\mathrm{key}(d, r) = (d', \iota')$（文書の識別子つきの名前）。

文書の集合 $K$ の索引を、鍵と環境の対の集合

とする。$\mathrm{Idx}(K)$ が鍵から環境への部分写像のグラフであるとき、$\mathrm{res}(d, r)$ を鍵 $\mathrm{key}(d, r)$ に対応する環境（なければ未定義）と定め、未定義のとき $r$ は未解決であるという。