Christoph Beierle
-
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development