研石砦

在今四川剑阁县东北三十五里剑门镇姚箭口一带。《宋史· 王继恩传》：淳化五年 (994)镇压李顺义军，“继恩由小剑门路入研石砦”。即此。