TY  - RPRT
TI  - Possible conflicts: a compilation technique for consistency-based diagnosis.
AU  - Belarmino Pulido
AU  - Carlos Alonso González
PY  - 2004
DO  - 10.1109/tsmcb.2004.835007
UR  - https://pubmed.ncbi.nlm.nih.gov/15503516/
ID  - 15503516
ER  -