Logic programming : operational semantics and proof theory /
Andrews, James H.
Cambridge : Cambridge University Press,
1992.