@misc{indiciae9bb26aa3afd6,
  title = {Possible conflicts: a compilation technique for consistency-based diagnosis.},
  author = {Belarmino Pulido and Carlos Alonso González},
  year = {2004},
  doi = {10.1109/tsmcb.2004.835007},
  url = {https://pubmed.ncbi.nlm.nih.gov/15503516/},
  note = {Source identifier: 15503516}
}