Well known theorems on triangular systems and the D5 principle (2006)

by F Boulier, F Lemaire, M Moreno Maza
Venue:In Proc. of Transgressive Computing 2006