Proof Transformation Towards Human Reasoning Style.

Xiaorong Huang

Browse the full KI paper archive.