A Note on Unification Type Zero
Aus International Center for Computational Logic
A Note on Unification Type Zero
Franz BaaderFranz Baader

A Note on Unification Type Zero
Information Processing Letters, 27:91-93, 1988
- Forschungsgruppe:Research Group: Automatentheorie
@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}, }