<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5190</REFNUM><AUTHORS><AUTHOR>Boulton,R.J.</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>Generating Embeddings from Denotational Descriptions</TITLE><PLACE_PUBLISHED>Proceedings of the 11th International Conference on heorem Proving in Higher Order Logics, TPHOLs'98, (Canberra, Australia, September/October 1998); GRUNDY,J.; NEWEY, M. (editors) Lecture Notes in Computer Science </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>67-86</PAGES><LABEL>Boulton:1998:5190</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>