An Expert System in Reliability- Structure and Knowledge Representation. - Ivan Popchev; Neli Zlatareva (AIMSA, 1984)

A Formal Treatment of Non-Monotonic Reasoning. - Ivan Popchev; Neli Zlatareva (AIMSA, 1988)

A Logic for Truth Maintenance Reasoning. - Ivan Popchev; Neli Zlatareva; Marion Mircheva (AIMSA, 1990)

A Truth Maintenance Theory: An Alternative Approach. - Ivan Popchev; Neli Zlatareva; Marion Mircheva (ECAI, 1990)

Truth maintenance systems and their application for verifying Expert System Knowledge Bases. - Neli Zlatareva (Artif. Intell. Rev., 1992)

An Integrated Approach to Quality Assurance of Expert System Knowledge Bases. - Neli Zlatareva (CIKM, 1993)

A framework for verification, validation, and refinement of knowledge bases: The VVR system. - Neli P. Zlatareva (Int. J. Intell. Syst., 1994)

Verification of non-monotonic knowledge bases. - Neli P. Zlatareva (Decis. Support Syst., 1997)

Knowledge Refinement During Developmental and Field Validation of Expert Systems. - Neli Zlatareva (FLAIRS, 1998)

Improving Knowledge-Based System Performance by Reordering Rule Sequences . - Neli Zlatareva (FLAIRS, 2001)

Testing the Integrity of Non-monotonic Knowledge Bases Containing Semi-Normal Defaults. - Neli Zlatareva (FLAIRS, 2004)

Explicating Semantic Relations in Non-Monotonic Theories to Facilitate Validation Analysis. - Neli Zlatareva (FLAIRS, 2006)

Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities and Discrepancies. - Neli P. Zlatareva; Maria Nisheva-Pavlova (FLAIRS, 2008)

Supporting Uncertainty and Inconsistency in Semantic Web Applications. - Neli P. Zlatareva (FLAIRS, 2009)