An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem

Chua-Huang Huang, Christian Lengauer. An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. Acta Informatica, 27(2):97-124, 1989.

Abstract

Abstract is missing.