W-Grammars for Logic Programming

Stephen John Turner. W-Grammars for Logic Programming. In Implementations of Prolog. pages 352-368, 1984.