Return to Article Details Binding without variables: Solving the under-generation problems Download Download PDF