, "Applied Logic : How, What and Why?", , 1996