FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions

del Cerro et al. "FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions." International Joint Conference on Artificial Intelligence, 2013.

[del Cerro et al. "FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/delcerro2013ijcai-fqht/)

@inproceedings{delcerro2013ijcai-fqht,
  title     = {{FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions}},
  author    = {del Cerro, Luis Fariñas and Pearce, David and Valverde, Agustín},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {891-897},
  url       = {https://mlanthology.org/ijcai/2013/delcerro2013ijcai-fqht/}
}