The saturate system (1994)

by Harald Ganzinger, Robert Nieuwenhuis