A pedagogical disadvantage of repeat and while. - Michael A. Covington (ACM SIGPLAN Notices, 1984)

Eliminating unwanted loops in Prolog. - Michael A. Covington (ACM SIGPLAN Notices, 1985)

A further note on looping in Prolog. - Michael A. Covington (ACM SIGPLAN Notices, 1985)

The Advanced Computational Methods Center, University of Georgia. - Donald Nute; Michael A. Covington; Terry Rankin (AI Mag., 1986)

Efficient Prolog: a practical tutorial. - Michael A. Covington (Artif. Intell. Rev., 1991)

An Empirically Motivated Reinterpretation of Dependency Grammar. - Michael A. Covington (CoRR, 1994)

Design and implementation of a campus computer ethics policy. - Michael A. Covington (Internet Res., 1995)

Toward a New Type of Language for Electronic Commerce. - Michael A. Covington (HICSS (4), 1996)

An Algorithm to Align Words for Historical Comparison. - Michael A. Covington (Comput. Linguistics, 1996)

Speech Acts in Electronic Communication With Special Reference to KQML and ANSI X12. - Michael A. Covington (HICSS (4), 1997)

Natural Language Plurals in Logic Programming Queries. - Michael A. Covington (Appl. Artif. Intell., 1997)

On Designing a Language for Electronic Commerce. - Michael A. Covington (Int. J. Electron. Commer., 1997)

Alignment of Multiple Languages for Historical Comparison. - Michael A. Covington (COLING-ACL, 1998)

Speech acts, electronic commerce, and KQML. - Michael A. Covington (Decis. Support Syst., 1998)

Defeasible Logic on an Embedded Microcontroller. - Michael A. Covington (Appl. Intell., 2000)

Logical control of an elevator with defeasible logic. - Michael A. Covington (IEEE Trans. Autom. Control., 2000)

The Number of Distinct Alignments of Two Strings. - Michael A. Covington (J. Quant. Linguistics, 2004)

Vibrotactile Glove guidance for semi-autonomous wheelchair operations. - Hajime Uchiyama; Michael A. Covington; Walter D. Potter (ACM Southeast Regional Conference, 2008)

Cutting the Gordian Knot: The Moving-Average Type-Token Ratio (MATTR). - Michael A. Covington; Joe D. McFall (J. Quant. Linguistics, 2010)

The ARC Project: Creating logical models of Gothic cathedrals using natural language processing. - Charles Hollingsworth; Stefaan Van Liefferinge; Rebecca A. Smith; Michael A. Covington; Walter D. Potter (LaTeCH@ACL, 2011)

The ARC Project: Reasoning about Representations of Gothic Cathedrals with Artificial Intelligence. - Stefaan Van Liefferinge; Rebecca A. Smith; Tyler Carlson; Elijah Holt; Michael A. Covington; Walter D. Potter (IV, 2012)

Coding guidelines for Prolog. - Michael A. Covington; Roberto Bagnara; Richard A. O'Keefe; Jan Wielemaker; Simon Price (Theory Pract. Log. Program., 2012)

Stylometric classification of different translations of the same text into the same language. - Michael A. Covington; Iris Potter; Tony Snodgrass (Digit. Scholarsh. Humanit., 2015)