Comparative Semantics for Flow of Control in Logic Programming without Logic

J. W. de Bakker. Comparative Semantics for Flow of Control in Logic Programming without Logic. Inf. Comput., 94(2):123-179, October 1991.

Abstract

Abstract is missing.