Logic and programming - Parent M (N J N J, Prentice Hall, 1985)