?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Schmalz%2C+Matthias&rft.aulast=Schmalz&rft.aufirst=Matthias&rft.date=2011&rft.atitle=Term+Rewriting+in+Logics+of+Partial+Functions&rft.title=Proceedings+of+ICFEM+2011&rft.genre=article