Non-negative integer basis algorithms for linear equations with integer coefficients Dallas Lankford OriginalPaper Pages: 25 - 35
Mechanical certification of systolic algorithms S. PurushothamanP. A. Subrahmanyam OriginalPaper Pages: 67 - 91
The problem of finding an inference rule for set theory Larry Wos Basic Research Problem Pages: 93 - 95