Introduction to Go-Board --- part II (1992)

by Jaroslaw Kotowicz, Yatsuka Nakamura
Venue:Journal of Formalized Mathematics