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)

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)