Proof style
1998 ◽
pp. 154-172
◽