Ewing L. Lusk Ross A. Overbeek Shyam Mudambi Péter Szeredi Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. 1992 IJCSLP Workshop on Concurrent and Parallel Implementations db/conf/iclp/iclp92-w6.html#LuskOMS92