[Rueben Berg]

There are some online:
http://www.inference.eng.cam.ac.uk/ultimate/rules/index0.html

https://www.google.com.au/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&cad=rja&uact=8&ved=0ahUKEwj12_j8majQAhVBmpQKHWY3BWYQFgghMAE&url=http%3A%2F%2Fempslocal.ex.ac.uk%2Fpeople%2Fstaff%2Fma99ewb%2Ffiles%2FWFDF%2520Ultimate%2520Rules%25202007.doc&usg=AFQjCNFrzodyIQeF23IrIHf0XaezKphlAQ&sig2=IuKFxdwhh9_cVfqZodkoog&bvm=bv.138493631,d.dGo

Was there a specific version you were after?