@mastersthesis{xu:03ms, AUTHOR = {Lin Xu}, TITLE = {{Consistency Methods for Temporal Reasoning}}, YEAR = 2003, MONTH = {May}, SCHOOL = {Department of Computer Science and Engineering, University of Nebraska-Lincoln}, ADDRESS = {Lincoln, NE}, Note = {May 2003}, KEYWORDS = {} }