Logic : a foundation for computer science - Sperchneider, Volker; Antoniou, G. (Grigorios) (Wokingham, Eng. : Addison-Wesley, 1991)
references p. 485-490
1
Keywords: Computer science; Logic, Symbolic and mathematical