A Matching Tree Oriented Abstract Machine for Prolog.

Neng-Fa Zhou Toshihisa Takagi Kazuo Ushijima A Matching Tree Oriented Abstract Machine for Prolog. 159-173 1990 ICLP db/conf/iclp/iclp90.html#ZhouTU90