@收款{zbMATH05212179，作者＝{费雷拉、米歇尔和丰塞卡、努诺·A和罗查、里卡多和苏亚雷斯、蒂亚戈}，标题＝{使用演绎数据库系统的逻辑程序的高效且可扩展的归纳}，BookTitle={归纳逻辑编程。第16届国际会议，ILP 2006，圣地亚哥·德孔波斯特拉，西班牙，2006年8月24日至27日。修改选定论文。}，国际标准图书编号={978-3-540-73846-6}，页码={184--198}，年份={2007}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-73847-3_22}，关键词={68T05,68N17,68P15}，zbMATH={5212179}，Zbl={1201.68086}}