Title: The implementation and applications of multiple-valued logic
First published: 1993