Return to Article Details Managing scope ambiguities in Glue via multistage proving Download Download PDF