Tables as a User Interface for Logic Programs. - Mantis H. M. Cheng; Maarten H. van Emden; Jimmy Ho-Man Lee (FGCS, 1988)

Complete Sets of Frontiers in Logic-Based Program Transformation. - Mantis H. M. Cheng; Maarten H. van Emden; Paul A. Strooper (META, 1988)

On Warren's Method for Functional Programming in Logic. - Mantis H. M. Cheng; Maarten H. van Emden; B. E. Richards (ICLP, 1990)

An application of L systems to local microcode synthesis. - Farhad Mavaddat; M. Mahmood; Mantis H. M. Cheng (MICRO, 1990)

Compositional Operational Semantics for Prolog Programs. - Mantis H. M. Cheng; R. Nigel Horspool; Michael R. Levy; M. H. van Emden (New Gener. Comput., 1992)

Petri-Net-Based Deadlock Analysis of Process Algebra Programs. - Panos Rondogiannis; Mantis H. M. Cheng (Sci. Comput. Program., 1994)

A Method for Implementing Equational Theories as Logic Programs. - Mantis H. M. Cheng; Douglas Stott Parker Jr.; Maarten H. van Emden (ICLP, 1995)

Client Migration in a Continuous Data Network. - Anthony J. Howe; Mantis H. M. Cheng (DCW, 2002)

SpinMag: A New Fingerprinting Method for Robot Indoor Localization with Geomagnetic Field. - Ruochun Jin; Kui Wu 001; Yong Dou; Mantis H. M. Cheng (Ad Hoc Sens. Wirel. Networks, 2018)