<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6242</REFNUM><AUTHORS><AUTHOR>Morris,J.M.</AUTHOR><AUTHOR>Bunkenburg,A.</AUTHOR></AUTHORS><YEAR>1999</YEAR><TITLE>Title: Many-valued Logics for Programming: Theorems and Proofs</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>Dept of Computing Science, University of Glasgow</PUBLISHER><ISBN>TR-1999-49</ISBN><LABEL>Morris:1999:6242</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>