@article{McAllester&Givan89a,
	TITLE = {Taxonomic Syntax for First Order Inference},
	AUTHOR = {D. McAllester and R. Givan},
	journal = {JACM},
	Volume = {40},
	number = {2},
	YEAR = {1993},
	month={April},
	PAGES = {246-283},
	note = {internet file ftp.ai.mit.edu:/pub/users/dam/jacm1.ps}
}

@article{McAllester90,
	TITLE = {Automatic Recognition of Tractability in Inference Relations},
	AUTHOR = {McAllester, D.},
	journal = {JACM},
	Volume = {40},
	number = {2},
	YEAR = {1993},
	month={April},
	PAGES = {284-303},
	note = {internet file ftp.ai.mit.edu:/pub/users/dam/jacm2.ps}
}

@article{McAllester&Givan89b,
	TITLE = {Natural Language Syntax and First Order Inference},
	AUTHOR = {McAllester, D. and R. Givan},
	INSTITUTION = {MIT Artificial Intelligence Laboratory},
	YEAR = {1992},
	journal={Artificial Intelligence},
	Volume={56},
	pages={1-20},
	note = {internet file ftp.ai.mit.edu:/pub/users/dam/aij1.ps}}

@inproceedings{McAllester92,
	author={Robert Givan and David McAllester},
	title={New Results on Local Inference Relations},
	booktitle={Principles of Knolwedge Representation and Reasoning: Proceedings of
the Third International Conference},
	publisher={Morgan Kaufman Press},
	pages={403-412},
	year={1992},
	month={October},
	note = {internet file ftp.ai.mit.edu:/pub/users/dam/kr92.ps}}

@INPROCEEDINGS{McAllester91a,
	AUTHOR = {Givan, Robert and McAllester, David and Shalaby, Sameer},
	TITLE = {Natural Language Based Inference Procedures applied to
Schubert's Steamroller},
	BOOKTITLE = {AAAI-91},
	PUBLISHER = {Morgan Kaufmann Publishers},
	MONTH = {July},
	YEAR = {1991},
	PAGES={915-920},
	note = {internet file ftp.ai.mit.edu:/pub/users/dam/aaai91b.ps}}

@INPROCEEDINGS{McAllester91b,
	AUTHOR = {McAllester, David},
	TITLE = {Some Observations on Cognitive Judgements},
	BOOKTITLE= {AAAI-91},
	PUBLISHER = {Morgan Kaufmann Publishers},
	MONTH = {July},
	YEAR = {1991},
	PAGES = {910,915},
	note = {internet file ftp.ai.mit.edu:/pub/users/dam/aaai91a.ps}
}

@INPROCEEDINGS{McAllester91c,
	AUTHOR = {McAllester, David},
	TITLE = {Grammar Rewriting},
	BOOKTITLE = {CADE-11},
	PUBLISHER = {Springer-Verlag},
	Month={June},
	Year={1992},
	pages={124-138.},
	note = {internet file ftp.ai.mit.edu:/pub/users/dam/cade92.ps}
}

@INPROCEEDINGS{McAllester90b,
	AUTHOR={David McAllester},
	TITLE={Truth Maintenance},
	BOOKTITLE={Proceedings AAAI90},
	PUBLISHER = {Morgan Kaufmann Publishers},
	YEAR={1990},
	PAGES={1109-1116},
	note = {internet file ftp.ai.mit.edu:/pub/users/dam/aaai90.ps}}

@INPROCEEDINGS{McAllester91d,
	AUTHOR = {McAllester, David and Rosenblitt, David},
	TITLE = {Systematic Nonlinear Planning},
	BOOKTITLE = {AAAI-91},
	PUBLISHER = {Morgan Kaufmann Publishers},
	MONTH = {July},
	YEAR = {1991},
	PAGES = {634-639},
	note = {internet file ftp.ai.mit.edu:/pub/users/dam/aaai91c.ps}
}

@inproceedings{Siskind&McAllester92b,
	author = {Jeffrey Mark Siskind and David Allen McAllester},
	title = {Nondeterministic Lisp as a Substrate for Constraint Logic
		Programming},
	booktitle = {AAAI-93},
	pages ={133-138},
	year={1993},
	note={internet file ftp.ai.mit.edu:/pub/users/dam/aaai93.ps}}

@INPROCEEDINGS{Zabih88,
	AUTHOR = {Zabih, Ramin and David McAllester},
	TITLE = {A Rearrangement Search Strategy for Determining Propositional Satisfiability},
	BOOKTITLE={AAAI-88},
	PUBLISHER = {Morgan Kaufmann Publishers},
	YEAR = {1988},
	note = {internet file ftp.ai.mit.edu:/pub/users/dam/aaai88.ps}
}