A Direct Semantic Characterization of RELFUN

Harold Boley. A Direct Semantic Characterization of RELFUN. In Evelina Lamma, Paola Mello, editors, Extensions of Logic Programming, Third International Workshop, ELP 92, Bologna, Italy, February 26-28, 1992, Proceedings. Volume 660 of Lecture Notes in Computer Science, pages 120-149, Springer, 1992.

Abstract

Abstract is missing.