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)

Logic Programs with Refutation Rules. - Marion Mircheva (ICLP, 1994)

Logic Programs with Tests. - Marion Mircheva (META, 1994)

Rule-Based Systems and Logic Programs: Bringing Two Approaches Together. - Marion Mircheva (WOCFAI, 1995)