| |
| 2000 | ||
|---|---|---|
| 2 | EE | Michael Dierkes: An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas. Computational Logic 2000: 583-597 |
| 1999 | ||
| 1 | Michael Dierkes: Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. LPAR 1999: 286-303 | |