时空推理中自动生成复合表的通用算法

• A General Algorithm for Automatically Generating Composition Table in Spatio-Temporal Reasoning