An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions. - Paul Y. Gloess (CADE, 1980)

Adding Dynamic Paramodulation to Rewrite Algorithms. - Paul Y. Gloess; Jean-Pierre H. Laurent (CADE, 1980)

An Interactive Tool for Program Manipulation. - Anne Adam; Paul Y. Gloess; Jean-Pierre H. Laurent (ICSE, 1981)

LOGIS, un système PROLOG dans un environnement LISP. - Paul Y. Gloess (SPLT, 1984)

OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog. - Paul Y. Gloess (SPLT, 1985)

Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog. - Paul Y. Gloess; Dung T. Nguyen (SPLT, 1987)

U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets. - Paul Y. Gloess (SPLT, 1989)

Programmation Logique et Objets sans variables par le dessin. - Jean-Luc Guérin; Paul Y. Gloess (SPLT, 1989)

U-Log, An Ordered Sorted Logic with Typed Attributes. - Paul Y. Gloess (PLILP, 1991)

Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an OODBMS. - Chu Min Li 001; Paul Y. Gloess (BDA, 1992)

Realizing an efficient and incremental access to an object oriented database with Prolog. - Chu Min Li 001; Paul Y. Gloess (JFPL, 1992)

ProQuery: Logical Access to an OODB. - Chu Min Li 001; Paul Y. Gloess (PLILP, 1992)

On Boolean Feature Types. - Paul Y. Gloess; Yan-Nong Huang; Chumin Li 001; Miguel-Angel Oros (WSA, 1992)

Inheritance in Datalog. - Miguel-Angel Oros; Paul Y. Gloess (LPE, 1993)

GrafOLog: a Visual Language for a Logic with Objects. - Jean-Luc Guérin; Paul Y. Gloess (J. Vis. Lang. Comput., 1993)

Concept, une approche basée sur la déduction naturelle pour la classification de prédicats Datalog. - Miguel-Angel Oros; Paul Y. Gloess (LMO, 1994)

Inferring Inheritance from Datalog Programs. - Miguel-Angel Oros; Paul Y. Gloess (ILPS, 1994)

U-Log = datalog + constraints. - Paul Y. Gloess; Miguel-Angel Oros; Chu Min Li 001 (JFPLC, 1995)

Concept : a system for deriving datalog inheritance. - Miguel-Angel Oros; Paul Y. Gloess (JFPLC, 1995)