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

Kazuhiro Ogata, Kokichi Futatsugi

pp. 596-615


This document is unfortunately not available for download at the moment.

Not implemented yet !