?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Albert+Albiol&rft.au=Albert+Albiol%2C+Elvira&rft.aufirst=Elvira&rft.volume=abs%2F10&rft.atitle=Certificate+size+reduction+in+abstraction-carrying+code&rft.title=CoRR&rft.date=13+October+2010&rft.genre=article