Logic : a foundation for computer science /
Sperschneider, V.(Volker)
Antoniou, G.(Grigorios)
Wokingham : Addison-Wesley,
1991.