Publication Venue For The mixed irredundant Ramsey numbers t(3,7)=18 and t(3,8)=22. 37:571-589. 2014-03-01