["Towards a Broader Basis for Logic Programming", Bharat Jayaraman, TR CS Dept, SUNY Buffalo, 1990].
(1995-01-05)
Try this search on Wikipedia, OneLook, Google
Nearby terms: Supplementary Ideographic Plane « support « supremum « Sure » surfing » SURGE » surjection
