Christopher T. Haynes. Logic Continuations. Journal of Logic and Algebraic Programming, 4(2):157-176, 1987.
@article{Haynes87, title = {Logic Continuations}, author = {Christopher T. Haynes}, year = {1987}, tags = {logic}, researchr = {https://researchr.org/publication/Haynes87}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {4}, number = {2}, pages = {157-176}, }