Temporal inferencing on administrative databases. - Ronald M. Lee; Helder Coelho; Jose Carlos Cotta (Inf. Syst., 1985)

Prolog by Example: How to Learn, Teach and Use It - Helder Coelho; Jose Carlos Cotta (Springer, 1988)