@ARTICLE(	VG91-chu,
	AUTHOR = "Van Gelder, Allen",
	TITLE = "Deriving Constraints Among Argument Sizes in Logic Programs",
	JOURNAL = "Annals of Mathematics and Artificial Intelligence",
	VOLUME = "1",
	NUMBER = "3",
	PAGES = "361--392",
	YEAR = "1991"	)