A Sequential Abstract Machine for Flat Concurrent Prolog

Avshalom Houri, Ehud Y. Shapiro. A Sequential Abstract Machine for Flat Concurrent Prolog. Journal of Logic and Algebraic Programming, 7(2):85-123, 1989.

Abstract

Abstract is missing.