Performance characteristics of microcomputer Prolog implementations. - Hal Berghel; Gregg Stubbendieck; Eric Traudt (SIGSMALL, 1986)

Spelling verification in prolog. - Hal Berghel; Eric Traudt (ACM SIGPLAN Notices, 1986)