Some tips on writing proof scores in the ots/cafeobj method

2006

Kazuhiro Ogata, Kokichi Futatsugi

in: Algebra, meaning, and computation, Berlin,