@ARTICLE{BasinTTRewrite,
AUTHOR = {Basin, David A.},
TITLE = {Generalized Rewriting in Type Theory},
JOURNAL = {Journal of Information Processing and Cybernetics},
YEAR = {1994},
NUMBER = {5/6},
VOLUME = {30},
PAGES = {249--259},
NOTE = {erschienen 1995 !!!},
}
Entry last modified by Christine Kiesel/AG2/MPII/DE, 03/12/2010