On Inequality Tableaux - Klug, Anthony (University of Wisconsin-Madison Department of Computer Sciences, 1980)