%0 Conference Paper %1 conf/ijcai/CerroPV13 %A del Cerro, Luis Fariñas %A Pearce, David %A Valverde, Agustín %B IJCAI %D 2013 %E Rossi, Francesca %I IJCAI/AAAI %K dblp %P 891-897 %T FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#CerroPV13 %@ 978-1-57735-633-2

@inproceedings{conf/ijcai/CerroPV13, added-at = {2022-03-08T00:00:00.000+0100}, author = {del Cerro, Luis Fariñas and Pearce, David and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/272ac436c1aef514a03a7b29a433dd708/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2013}, editor = {Rossi, Francesca}, ee = {http://ijcai.org/Abstract/13/137}, interhash = {7aa18e99400964a1ff14f6161e4d9ea3}, intrahash = {72ac436c1aef514a03a7b29a433dd708}, isbn = {978-1-57735-633-2}, keywords = {dblp}, pages = {891-897}, publisher = {IJCAI/AAAI}, timestamp = {2024-04-10T01:45:48.000+0200}, title = {FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#CerroPV13}, year = 2013 }