On-The-Fly Path Reduction

Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski. On-The-Fly Path Reduction. Electronic Notes in Theoretical Computer Science, 274:3-16, 2011. [doi]

Abstract

Abstract is missing.