gzipped postscript
or
postscript
@unpublished{dMRS:03,
TITLE = {Bounded Model Checking and Induction: From Refutation to Verification},
AUTHOR = {Leonardo de Moura and Harald Rue{\ss} and Maria Sorea},
YEAR = 2003,
NOTE = {Submitted for Publication}
}