*Homepage:* http://www.cs.umn.edu/~gopalan

	* TeyjusSystem
	* LambdaProlog
------
CategoryPeople