Marek A. Suchenek Incremental models of updating data bases. [Citation Graph (0, 0)][DBLP] Algebraic Logic and Universal Algebra in Computer Science, 1988, pp:243-271 [Conf]
Marek A. Suchenek Sound and Complete Propositional Nonmonotonic Logic of Hierarchically-Minimal Models. [Citation Graph (0, 0)][DBLP] Intelligent Information Systems, 2000, pp:193-205 [Conf]
Marek A. Suchenek Applications of Lyndon Homomorphism Theorems to the Theory of Minimal Models. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 1990, v:1, n:1, pp:49-60 [Journal]
Marek A. Suchenek Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2000, v:25, n:4, pp:247-289 [Journal]
Marek A. Suchenek First -Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1993, v:10, n:2, pp:237-263 [Journal]