Subsequence Invariants.

Tue, 01 Jan 2008 00:00:00 +0100

Klaus Dräger, Bernd Finkbeiner:
Subsequence Invariants. CONCUR 2008: 172-186