@inproceedings{arieli2020,
  title={ Prioritized simple contrapositive assumption-based frameworks.},
  author={Arieli, Ofer and Heyninck, Jesse },
  booktitle={Proceedings of the 24th European Conference on Artificial Intelligence (ECAI20)},
  year={2020},
  url={http://www2.mta.ac.il/~oarieli/Papers/ecai20.pdf},
  organization={IOS Press}
}