Binary decision diagrams for first order predicate logic door J.F. Groote