Title: HANDBOOK OF LOGIC IN COMPUTER SCIENCE
First published: 1992