Handling Quantifiers in ILP. - M.-Elisabeth Goncalves (Inductive Logic Programming Workshop, 1996)

Decidability issues for action guarded logics. - M.-Elisabeth Goncalves; Erich Grädel (Description Logics, 2000)