Evan Tick. Sequential Prolog machine: Image and host architectures. In M. Carter, Robert A. Mueller, editors, Proceedings of the 17th annual workshop on Microprogramming, MICRO 1984, New Orleans, Louisiana, USA, October 30 - November 2, 1984. pages 204-216, ACM/IEEE, 1984. [doi]
Abstract is missing.