W-grammars for logic programming - Turner, S. J. (1984)