@Article{	  schmalz:term:2011,
  author	= {matthias schmalz},
  copyright	= {Springer},
  copyrighturl	= {http://www.springer.de/comp/lncs},
  journal	= {ICFEM},
  language	= {USenglish},
  title		= {Term Rewriting in Logics of Partial Functions},
  year		= 2011,
  user		= {mschmalz}
}



Reference Type: Book Chapter
Author: Schmalz, Matthias
Editor: Qin, Shengchao
Editor: Qiu, Zongyan
Primary Title: Term Rewriting in Logics of Partial Functions
Book Title: Formal Methods and Software Engineering
Book Series Title: Lecture Notes in Computer Science
Copyright: 2011
Publisher: Springer Berlin / Heidelberg
Isbn: 978-3-642-24558-9
Start Page: 633
End Page: 650
Volume: 6991
Url: http://dx.doi.org/10.1007/978-3-642-24559-6_42
Doi: 10.1007/978-3-642-24559-6_42