@article{BasinTTRewrite, 
Author = "Basin, David", 
TITLE = "Generalized Rewriting in Type Theory", 
JOURNAL = "Journal of Information Processing and Cybernetics", 
YEAR = 1994, 
VOLUME = 30, 
NUMBER = "5/6", 
PAGES = "249--259" 
}