Skip to content

Narrowing Techniques Applied to Idempotent Unification.

Alexander Herold

Year1987
ProceedingsGWAI

Browse the full KI paper archive.