| |
| 1995 | ||
|---|---|---|
| 5 | Marion Mircheva: Rule-Based Systems and Logic Programs: Bringing Two Approaches Together. WOCFAI 1995: 263-274 | |
| 1994 | ||
| 4 | Marion Mircheva: Logic Programs with Refutation Rules. ICLP 1994: 734 | |
| 3 | Marion Mircheva: Logic Programs with Tests. META 1994: 276-292 | |
| 1990 | ||
| 2 | Ivan Popchev, Neli Zlatareva, Marion Mircheva: A Logic for Truth Maintenance Reasoning. AIMSA 1990: 71-80 | |
| 1 | Ivan Popchev, Neli Zlatareva, Marion Mircheva: A Truth Maintenance Theory: An Alternative Approach. ECAI 1990: 509-514 | |
| 1 | Ivan Popchev | [1] [2] |
| 2 | Neli Zlatareva | [1] [2] |