Melham, T. (1994). Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings. Springer−Verlag.
芝加哥风格引文Melham, T. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings. Springer−Verlag, 1994.
MLA引文Melham, T. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings. Springer−Verlag, 1994.
警告：这些引文格式不一定是100％准确.