Gerth, R., Codish, M., Lichtenstein, Yossi and Shapiro, E. (1988) Fully abstract denotational semantics for flat Concurrent Prolog. In: 3rd Annual Symposium on Logic in Computer Science (LICS), 1988-07-05 - 1988-07-08.
Lichtenstein, Yossi and Shapiro, E. (1988) Abstract Algorithmic Debugging. In: Proceedings of the 5th Logic Programming: International Conference and Symposium, 1988-08-01.