%0 Journal Article %1 journals/ai/BartholomewL19 %A Bartholomew, Michael %A Lee, Joohyung %D 2019 %J Artif. Intell. %K dblp %P 56-93 %T First-order stable model semantics with intensional functions. %U http://dblp.uni-trier.de/db/journals/ai/ai273.html#BartholomewL19 %V 273

@article{journals/ai/BartholomewL19, added-at = {2021-01-15T00:00:00.000+0100}, author = {Bartholomew, Michael and Lee, Joohyung}, biburl = {https://www.bibsonomy.org/bibtex/266ea771f51520b17093809a8c2f2ca63/dblp}, ee = {https://doi.org/10.1016/j.artint.2019.01.001}, interhash = {ce38bea9e09baf12cf8bf660be8ce800}, intrahash = {66ea771f51520b17093809a8c2f2ca63}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {56-93}, timestamp = {2024-04-08T17:20:46.000+0200}, title = {First-order stable model semantics with intensional functions.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai273.html#BartholomewL19}, volume = 273, year = 2019 }