How to obtain elegant Fitch-style proofs from Goal directed ones.

TitleHow to obtain elegant Fitch-style proofs from Goal directed ones.
Publication TypeConference Paper
AuthorsProvijn, D
EditorBlockeel, H, Denecker, M