Persona

Monografia (1987) Foundations of logic programming