S3K: Seeking Statement-Supporting top-K Witnesses ∗ ABSTRACT

by Steffen Metzger , Katja Hose , Ralf Schenkel