Formalizing Two Fixed Point Semantics for HH(C)

Miguel García-Díaz, Susana Nieva. Formalizing Two Fixed Point Semantics for HH(C). Journal of Functional and Logic Programming, 2004, 2004. [doi]

Abstract

Abstract is missing.