@INPROCEEDINGS(	MUV86,
	AUTHOR = "Morris, K. and Ullman, J. D. and Van Gelder, A.",
	TITLE = "Design overview of the {Nail!} system",
	BOOKTITLE = "Third Int'l Conf.\ on Logic Programming",
	PAGES = "554--568",
	YEAR = "1986")