A note on tactics in LCF (1983)

by S Sokołowski