["The Aurora Or-Parallel Prolog System", E. Lusk et al, Proc 3rd Intl Conf on Fifth Generation Comp Systems, pp. 819-830, ICOT, A-W 1988].
Try this search on Wikipedia, OneLook, Google
Nearby terms: AUI « A'UM « AUP « Aurora » Austin Kyoto Common Lisp » authentication » authoring
