Mark Korsloot Hans M. Mulder Sequential Architecture Models for Prolog: A Performance Comparison. 49-67 1990 ICLP db/conf/iclp/iclp90.html#KorslootM90