zbMath0909.68061MaRDI QIDQ1276517
V. I. Zadorozhnyj
Publication date: 31 January 1999 Published in: Programming and Computer Software (Search for Journal in Brave)
zbMATH Keywords
rewriting programs
Mathematics Subject Classification ID
Database theory (68P15) Logic programming (68N17)
