A Direct Semantic Characterization of RELFUN (1993)

by Harold Boley
Venue:Proceedings of the 3rd International Workshop on Extensions of Logic Programming, ELP '92, Bologna 1992, volume 660 of LNAI