Bibtex:TeReSe03
From Termination-Portal.org
Jump to navigationJump to searchBibTex
Marc Bezem, Jan Willem Klop, Roel de Vrijer - Term Rewriting Seminar -- Terese
- Cambridge University Press,2003
- BibtexAuthor :
Title : Term Rewriting Seminar -- Terese
In : -
Address :
Date : 2003
