E-unifiability via Narrowing

@inproceedings{Viola2001EunifiabilityVN,
  title={E-unifiability via Narrowing},
  author={Emanuele Viola},
  booktitle={ICTCS},
  year={2001}
}