[Satoh and Okamoto. "Computing Circumscriptive Databases by Integer Programming: Revisited." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/satoh2000aaai-computing/)
@inproceedings{satoh2000aaai-computing,
title = {{Computing Circumscriptive Databases by Integer Programming: Revisited}},
author = {Satoh, Ken and Okamoto, Hidenori},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2000},
pages = {429-435},
url = {https://mlanthology.org/aaai/2000/satoh2000aaai-computing/}
}