<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6238</REFNUM><AUTHORS><AUTHOR>Aagaard,M.D.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR><AUTHOR>O'Leary,J.W.</AUTHOR></AUTHORS><YEAR>2000</YEAR><TITLE>Xs are for Trajectory Evaluation, Booleans are for Theorem Proving (Extended Version)</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>Dept of Computing Science, University of Glasgow</PUBLISHER><ISBN>TR-2000-52</ISBN><LABEL>Aagaard:2000:6238</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>