Converting AND-Control to OR-Control by Program Transformation

Maarten H. van Emden, Péter Szeredi. Converting AND-Control to OR-Control by Program Transformation. In Foundations of Deductive Databases and Logic Programming.. pages 699-709, 1988.

Abstract

Abstract is missing.