<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5328</REFNUM><AUTHORS><AUTHOR>Gordon,A.D.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1996</YEAR><TITLE>Five Axioms of Alpha Conversion</TITLE><PLACE_PUBLISHED>Proceedings, Theorem Proving in Higher Order Logics: 9th Intl. Conference, TPHOL's '96. (von Wright, J. and Grudy J. and Harrison, L., Eds.). Lecture Notes in Computer Science, Volume No. 1125 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>173-190</PAGES><ISBN>3-540-61587-3</ISBN><LABEL>Gordon:1996:5328</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>