Article,

A Comprehensive Setting for Matching and Unification over Iterative Terms.

, , and .
Fundam. Informaticae, 39 (3): 273-304 (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews