Miguel García-Díaz, Susana Nieva. Formalizing Two Fixed Point Semantics for HH(C). Journal of Functional and Logic Programming, 2004, 2004. [doi]
@article{Garcia-DiazN04,
title = {Formalizing Two Fixed Point Semantics for HH(C)},
author = {Miguel García-Díaz and Susana Nieva},
year = {2004},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/S04-01/A2004-04/JFLP-A2004-04.pdf},
researchr = {https://researchr.org/publication/Garcia-DiazN04},
cites = {0},
citedby = {0},
journal = {Journal of Functional and Logic Programming},
volume = {2004},
}