逻辑编程中类型和多态性的一阶理论| IEEE会议出版物| IEEE Xplore