Melham, T. (1994). The HOL Logic Extended with Quantification over Type Variables.
芝加哥风格引文Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
MLA引文Melham, T. The HOL Logic Extended with Quantification over Type Variables. 1994.
警告：这些引文格式不一定是100％准确.