%0 Journal Article %1 journals/jar/Pak15 %A Pak, Karol %D 2015 %J J. Autom. Reason. %K dblp %N 3 %P 295-306 %T Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard. %U http://dblp.uni-trier.de/db/journals/jar/jar55.html#Pak15 %V 55

@article{journals/jar/Pak15, added-at = {2020-09-02T00:00:00.000+0200}, author = {Pak, Karol}, biburl = {https://www.bibsonomy.org/bibtex/2277879de5caad66d022f88fb5593831f/dblp}, ee = {https://www.wikidata.org/entity/Q59407604}, interhash = {3afd389635bc942049c9c7b89befe8fe}, intrahash = {277879de5caad66d022f88fb5593831f}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 3, pages = {295-306}, timestamp = {2020-09-09T13:34:51.000+0200}, title = {Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar55.html#Pak15}, volume = 55, year = 2015 }