BRAVE - a parallel logic language for artificial intelligence. - T. J. Reynolds; A. J. Beaumont; A. S. K. Cheng; Sergio A. Delgado-Rannauro; L. A. Spacek (Future Gener. Comput. Syst., 1988)

An OR parallel logic programming language : its compiler and abstract machine. - A. S. K. Cheng (1988)

Higher Level Meta Programming in Qu-Prolog 3: 0. - Anthony S. K. Cheng; Peter J. Robinson 001; John Staples (ICLP, 1991)

An Implementation for a Higher Level Logic Programming Language. - Anthony S. K. Cheng; Ross A. Paterson (FGCS, 1992)

Theorem Proving Applications for QU-Prolog. - Peter J. Robinson 001; John Staples; Anthony S. K. Cheng (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)