C10n642 1990 [Core! 1.1] other Bruin (Alan Wang, John R. Perry) 1989 [ICWS tournament 1989] paper Dude 1988 [ICWS tournament 1987 or 1988] other, gate