C. Beierle
-
Prolog at IBM: an advanced and evolving application development technology
IBM Systems Journal
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development