Marion Mircheva

Logic Programs with Tests

Marion Mircheva, 1994, META.

Logic Programs with Refutation Rules

Marion Mircheva, Marion Mircheva, 1994, ICLP.

Stable models for theories with refutation rules

Marion Mircheva, 1994 .

A Truth Maintenance Theory: An Alternative Approach

Ivan Popchev, Marion Mircheva, Neli Zlatareva, 1990, ECAI.

Logic programs with refutation rules (abstract)

Marion Mircheva, 1994, ICLP 1994.

Rule-Based Systems and Logic Programs: Bringing Two Approaches Together

Marion Mircheva, 1995, WOCFAI.

A Logic for Truth Maintenance Reasoning

Ivan Popchev, Marion Mircheva, Neli Zlatareva, 1990, AIMSA.