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