Efficient Semantic Features for Automated Reasoning over Large Theories

Kaliszyk et al. "Efficient Semantic Features for Automated Reasoning over Large Theories." International Joint Conference on Artificial Intelligence, 2015.

[Kaliszyk et al. "Efficient Semantic Features for Automated Reasoning over Large Theories." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/kaliszyk2015ijcai-efficient/)

@inproceedings{kaliszyk2015ijcai-efficient,
  title     = {{Efficient Semantic Features for Automated Reasoning over Large Theories}},
  author    = {Kaliszyk, Cezary and Urban, Josef and Vyskocil, Jirí},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {3084-3090},
  url       = {https://mlanthology.org/ijcai/2015/kaliszyk2015ijcai-efficient/}
}