Technical Report TR183:
Logic Continuations
Christopher T. Haynes
(Nov 1985)
[Proceedings of the Third Int'l Conf. on Logic Programming (July 1985), London, England Lecture Notes in Computer Science, / Vol. 225, Springer-Verlag, Berlin (1985), 671--685. Also in J. of Logic Programming, 4 /, 2 (1987) 157--176]
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
