Declarative reasoning extensions to commercial SQL database management systems. - Setrag Khoshafian; Lynne Thieme (Compcon, 1991)