@inproceedings{6a290488fdc24110b48b643c147b7167,
title = "Focus Windows: A New Technique for Proof Presentation",
author = "Bruno Buchberger and Florina Piroi",
year = "2002",
month = jul,
language = "English",
isbn = "3-540-43865-3",
volume = "2385",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer Verlag",
pages = "290--304",
booktitle = "Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 Conference",
}