Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard
Crossref DOI link: https://doi.org/10.1007/s10817-015-9337-1
Published Online: 2015-07-12
Published Print: 2015-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pąk, Karol
Funding for this research was provided by:
Polish National Science Centre (DEC-2012/07/N/ST6/02147)
License valid from 2015-07-12