Design and Implementation of a Deductive Database System

• 一种演绎数据库系统的设计与实现