| Títol | Inconsistency Detection for Rule-Based Systems: A Divide and Conquer Approach |
| Publication Type | Conference Paper |
| Year of Publication | 1990 |
| Authors | Meseguer P, Plaza E |
| Conference Name | ESPRIT-90 Conference |
| Paginació | 80-89 |
| Títol | Inconsistency Detection for Rule-Based Systems: A Divide and Conquer Approach |
| Publication Type | Conference Paper |
| Year of Publication | 1990 |
| Authors | Meseguer P, Plaza E |
| Conference Name | ESPRIT-90 Conference |
| Paginació | 80-89 |