Formal Proofs of Combinatorial Completeness (1992)

by V Gaspes