An Unfold Rule for Full Prolog

Steven David Prestwich. An Unfold Rule for Full Prolog. In LOPSTR. pages 199-213, 1992.

Abstract

Abstract is missing.