Some Problems in Designing Expert Systems to Aid Legal Reasoning. - Layman E. Allen; Charles S. Saxon (ICAIL, 1987)

Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? - Layman E. Allen; Charles S. Saxon (ICLP/SLP, 1988)

More IA Needed in AI: Interpretation Assistance for Coping with the Problem of Multiple Structural Interpretations. - Layman E. Allen; Charles S. Saxon (ICAIL, 1991)

Better Language, Better Thought, Better Communication: The A-Hohfeld Language for Legal Analysis. - Layman E. Allen; Charles S. Saxon (ICAIL, 1995)

From the Fundamental Legal Conceptions of Hohfeld to Legal Relations: Refining the Enrichment of Solely Deontic Legal Relations. - Layman E. Allen (DEON, 1996)

Achieving Fluency in Modernized and Formalized Hohfeld: Puzzles and Games for the LEGAL RELATIONS Language. - Layman E. Allen; Charles S. Saxon (ICAIL, 1997)

Application of enriched deontic legal relations: Federal Rules of Civil Procedure Rule 7(a), pleadings. - Layman E. Allen; Charles S. Saxon (ICAIL, 1999)

NewMINT interpretation assistance system: United States Constitution First Amendment's initial 1344 interpretations. - Layman E. Allen; Adam W. Tury (ICAIL, 2007)

Modern Logic as a Tool for Remedying Ambiguities in Legal Documents and Analyzing the Structure of Legal Documents' Contained Definitions. - Layman E. Allen; Leon J. Lysaght (Logic in the Theory and Practice of Lawmaking, 2015)