Boolean Calculus of Differences

by Thayse, André
Published 1981

From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions

by Snyers, Dominique, Thayse, Andre
Published 1987