Return to Article Details Inverse linking and telescoping as polyadic quantification Download Download PDF