机译：帕苏威丹作为婚姻的合法性：帕蒂摄政区萨米部落婚姻的伊斯兰法律分析
机译：Hukum（法治）和Fatwa（法令）的研究方法论：HadithTakhrij的重要性（验证和认证）
机译：现代化，传统与身份：Euis Nurlaelawati在印度尼西亚宗教法院汇编伊斯兰法律和法律实践
机译：法定相关逻辑作为法律信息系统中法律知识的表示和推理的逻辑基础
机译：法律规则和法律推理：关于法律效力的性质。
机译：Logikey Workbench：语言逻辑组合和表现形式的道德和法律推理（Isabelle / HOL DataSet）
机译：“红色线程”法律推理，法律论证和执法
