Bernhard Convent Detecting Redundant Clauses or Premises within Logic-Oriented Database Schemas. [Citation Graph (1, 0)][DBLP] FMLDO, 1989, pp:135-155 [Conf]
Bernhard Convent On the Safety of Horn Clause Queries without Functions Symbols. [Citation Graph (0, 0)][DBLP] Relational Databases and their Extensions, 1988, pp:37-54 [Conf]
Bernhard Convent Deciding Finiteness, Groundness and Domain Independence of Pure Datalog Queries. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:8/9, pp:401-416 [Journal]