Author:
Caminati Marco,Kerber Manfred,Lange Christoph,Rowat Colin
Reference30 articles.
1. Every Planar Map is Four Colorable Part I: Discharging';Kenneth Appel;Illinois Journal of Mathematics,1977
2. Every Planar Map is Four Colorable Part II: Reducibility;Kenneth Appel;Illinois Journal of Mathematics,1977
3. Matching with contracts: comment;Orhan Ayg�n;American Economic Review,2013
4. Autarkic Computations in Formal Proofs;Henk Barendregt;Journal of Automated Reasoning,1997