A Note on Unification Type Zero

From International Center for Computational Logic

Toggle side column

A Note on Unification Type Zero

Franz BaaderFranz Baader
A Note on Unification Type Zero


Franz Baader
A Note on Unification Type Zero
Information Processing Letters, 27:91-93, 1988
@article{ Baader-IPL-88,
  author = {F. {Baader}},
  journal = {Information Processing Letters},
  pages = {91--93},
  title = {A Note on Unification Type Zero},
  volume = {27},
  year = {1988},
}