『untitled - tr0683.pdf』2026/4/15 3:58:00 https://www.airc.aist.go.jp/aitec-icot/ICOT/Museum/TRTM/TR/TRpdf/tr0683.pdf
『Linear resolution for consequence finding | Artif...2026/4/3 6:37:00 https://dl.acm.org/doi/10.1016/0004-3702(92)90030-2