Tassel (1992)

by R Boulton, A Gordon, M Gordon, J Harrison, J Herbert, J Van
Venue:in HOL. See Stavridou, Melham, and Boute