Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars.

Liviu-Virgil Ciortuz Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars. 85-98 2000 15. WLP db/conf/wlp/wlp2000-2.html#Ciortuz00