?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Bundy%2C+Alan&rft.aulast=Bundy&rft.aufirst=Alan&rft.date=2009&rft.title=An+outline+of+a+proposed+system+that+learns+from+experts+how+to+discharge+proof+obligations+automatically.+&rft.genre=proceeding