@conference {152575,
	title = {How to obtain elegant Fitch-style proofs from Goal directed ones.},
	booktitle = {Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002},
	year = {2002},
	author = {Provijn, Dagmar},
	editor = {Blockeel, H. and Denecker, M.}
}
