[Sakama and Inoue. "Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming." Machine Learning, 2011.](https://mlanthology.org/mlj/2011/sakama2011mlj-inductive/) doi:10.1007/S10994-010-5189-4
@article{sakama2011mlj-inductive,
title = {{Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming}},
author = {Sakama, Chiaki and Inoue, Katsumi},
journal = {Machine Learning},
year = {2011},
pages = {1-29},
doi = {10.1007/S10994-010-5189-4},
volume = {83},
url = {https://mlanthology.org/mlj/2011/sakama2011mlj-inductive/}
}