The LDV approach to polyinstantiation | IEEE Conference Publication | IEEE Xplore