Top

Published in:

Open Access 01-10-2015

Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard

Author: Karol Pąk

Title: Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard
Author: Karol Pąk
Publication date: 01-10-2015
Publisher: Springer Netherlands
Published in: Journal of Automated Reasoning / Issue 3/2015
Print ISSN: 0168-7433
Electronic ISSN: 1573-0670
DOI: https://doi.org/10.1007/s10817-015-9337-1

Premium Partner