Noam Livne A note on <i>I</i>-completeness of NP-witnessing relations. 259-261 2009 109 Inf. Process. Lett. 5 http://dx.doi.org/10.1016/j.ipl.2008.10.009 db/journals/ipl/ipl109.html#Livne09