Open Access 01.10.2015
Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard
Erschienen in: Journal of Automated Reasoning | Ausgabe 3/2015
Open Access 01.10.2015
Erschienen in: Journal of Automated Reasoning | Ausgabe 3/2015