@Article{KCM89b,
Author = "H. Benker and M. Dorochevsky and J. Noy\'{e} and B. O'Riordan
and Alan P. Sexton and J.C. Syre",
Title = "{The Knowledge Crunching Machine at ECRC: A Joint R\&D Project
of a High Speed Prolog System}",
Journal = "ICL Technical Journal",
Year = "1989",
Volume = "6",
Number = "4",
Pages = "737-753",
Month = "November"
}