Minimal model generation (1991)

by A Bouajjani, J-C Fernandez, N Halbwachs
Venue:Proc. of 2nd International Conference, CAV '90