<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5150</REFNUM><AUTHORS><AUTHOR>Aagaard,M.D.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR><AUTHOR>O'Leary,J.W.</AUTHOR></AUTHORS><YEAR>1999</YEAR><TITLE>Xs are for Trajectory Evaluation, Booleans are for Theorem Proving</TITLE><PLACE_PUBLISHED>Proceedings of 10th IFIP WG10.5 Adv. Research Working Conference: Bad Herrenalb, Sep. 1999, (Pierre, L., Kropf, T. Eds.), Lecture Notes in Computer Science, Volume No. 1703. </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>202-218</PAGES><ISBN>3-540-66559-5</ISBN><LABEL>Aagaard:1999:5150</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>