title: naos - efficient and modular reactive capabilities in an object-oriented database system. authors: c collet , t coupaye , t svensen. venue: vldb. year: 1994
title: xsb as an efficient deductive database system. authors: k sagonas , t swift , ds warren. venue: acm sigmod symposium on management of data ,. year: nan