% -*- Mode: BIBTEX -*-
@string{eodu = "Elements of Discourse Understanding"}
@string{cmd = "Computational Models of Discourse"}
@string{nnnk = "Naming Necessity and Natural Kinds"}
@string{BBN = "Bolt, Bernack and Neumann"}
@string{SRI = "SRI International, AI Center"}
@string{cl = "Computational Linguistics"}
@string{URCS = "University of Rochester, Computer Science Department"}
@string{EHL = "Ellis Horwood Limited"}
@string{IofP = "Implementations of Prolog"}

@techreport{RPRS,
	Author = "Miller, Bradford W.",
	Title = "The RHET Plan Recognition System",
	Institution = URCS,
	Number = 298,
	Month = Nov,
	Year = 1989}

@techreport{Rhet:prog-notes,
	Author = "Miller, Bradford W.",
	Title = "Rhet Programmer's Guide",
	Institution = URCS,
	Number = "239 (rerevised)",
	Month = Mar,
	Year = 1989}

@techreport{Rhet:UG,
	Author = "Allen, James F. and Miller, Bradford W.",
	Title = "The Rhetorical Knowledge Representation System: A User's Guide",
	Institution = URCS,
	Number = "238 (rerevised)",
	Month = Mar,
	Year = 1989}

@techreport{timelogic,
	Author = "Koomen, Johannes A.G.M.",
	Title = "The TIMELOGIC Temporal Reasoning System",
	Institution = URCS,
	Number = "231 (revised)",
	Month = Oct,
	Year = 1988}

@techreport{recurrence,
	Author = "Koomen, Johannes A.G.M.",
	Title = "Reasoning About Recurrence",
	Institution = URCS,
	Number = 307,
	Month = Jul,
	Note = "PhD Thesis",
	Year = 1989}
	
@techreport{kautz,
	Author = "Kautz, Henry A.",
	Title = "A Formal Theory of Plan Recognition",
	Institution = URCS,
	Note = "PhD Thesis",
	Number = 215,
	Month = May,
	Year = 1987}

@article{allen:time,
	Author = "Allen, James F.",
	Title = "Maintaining Knowledge About Temporal Intervals",
	Journal = CACM,
	Year = 1983,
	Volume = 26,
	Number = 11,
	Pages = {832--843}}

@inproceedings{allen:plan,
	Author = "Allen, James F. and Koomen, Johannes A.",
	Title = "Planning Using a Temporal World Model",
	Pages = {741--747},
	Year = 1983,
	Booktitle = "Proccedings 8th IJCAI",
	Address = "Karlsruhe, W. Germany",
	Month = Aug}

@book{Nilsson,
	Author = "Nilsson, N. J.",
	Title = "Principles of Artificial Intelligence",
	Year = 1980,
	Publisher = "Morgan Kaufmann"}

@techreport{allen:hybrid,
	Author = "Allen, James F.",
	Title = "Unknown at press time",
	Institution = URCS,
	Year = 1989,
	Note = "Forthcoming; presented at 1988 workshop on Principles of Hybrid Reasoning, 21 August, 1988 St. Paul, Minnesota"}
