Matching logic (2009)

by G Rosu, W Schulte