Return to Article Details Formal Aspects of Polyvariant Specialization Download Download PDF